bruda.ca
Bishop's University
>
Department of Computer Science
>
Bruda.CA
Stefan D. Bruda, PhD
Sitemap
This is a sitemap over all available pages ordered by
namespaces
.
emacs
part
papers
a_case_study_in_real-time_parallel_computation_-_correcting_algorithms
a_distributed_architecture_for_remote_service_discovery_in_pervasive_computing
a_testing_theory_for_real-time_systems
collapsing_the_hierarchy_of_parallel_computational_models
communicating_visibly_pushdown_processes
model_checking_is_refinement_-_from_computation_tree_logic_to_failure_trace_testing
on_limits_on_the_computational_power_of_data-accumulating_algorithms
on_the_computational_complexity_of_context-free_parallel_communicating_grammar_systems
on_the_necessity_of_formal_models_for_real-time_parallel_computations
parallel_real-time_complexity_theory
parallel_real-time_cryptography_-_beyond_speedup_ii
parallel_real-time_numerical_computation_-_beyond_speedup_iii
parallel_real-time_optimization_-_beyond_speedup
parse_trees_and_unique_queries_in_context-free_parallel_communicating_grammar_systems
preorder_relations
pursuit_and_evasion_on_a_ring_-_an_infinite_hierarchy_for_parallel_real-time_systems
real-time_computation_-_a_formal_definition_and_its_applications
rtsync_-_overview
rtsync_-_the_compiler
rtsync_-_timing_graph_generation
rtsync_tutorial_1_-_an_overview_of_rtsync
rtsync_tutorial_2_-_an_introduction
rtsync_tutorial_3_-_variables_and_flow_constraints
rtsync_tutorial_4_-_actors
rtsync_tutorial_5_-_synchronizers
rtsync_tutorial_6_-_more_on_synchronizers
rtsync_tutorial_7_-_global_synchronizers
rtsync_tutorial_8_-_distributed_applications
rtsync
run-time_solutions_to_the_stack_overflow_problem
size_matters_-_logarithmic_space_is_real_time
sublinear_space_real-time_turing_machines_cannot_count
the_characterization_of_data-accumulating_algorithms
the_graph_accessibility_problem_and_the_universality_of_the_collision_crcw_conflict_resolution_rule
unrestricted_and_disjoint_operations_over_multi-stack_visibly_pushdown_languages
why_languages_generated_by_context-free_parallel_communicating_grammar_systems_are_not_linear_space
restricted
msc_theses
part_members
part
publications
recruitment
photography
playground
various_information
wiki
ascii
computer_technology
contact
cv
definition_of_love
evolution
new_bu_logo_-_no_more_tradition_and_half_the_scholarship
one-man_wiki
pgp_public_key
start
teaching
Bruda.CA
Research
Publications
Teaching
Photography
Brief CV
Contact
News
My Web site is now served exclusively through HTTPS.
I seek qualified graduate stuents to join my research group
I apologize for...
The photography page being under construction. No ETA is available - will be ready 'real soon now.'