3653 search results - page 549 / 731 » On Recognizable Timed Languages |
149
click to vote
RULES
1993
Springer
15 years 10 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
165
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...
148
click to vote
SPAA
1997
ACM
15 years 9 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
165
click to vote
WSC
1997
15 years 7 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...
156
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...