4666 search results - page 753 / 934 » Equations on Timed Languages |
152
click to vote
SSD
2001
Springer
15 years 8 months ago
2001
Springer
Recently there is much interest in moving objects databases, and data models and query languages have been proposed offering data types such as moving point and moving region toge...
132
click to vote
ESA
1993
Springer
15 years 8 months ago
1993
Springer
A digraph is upward planar if it has a planar drawing such that all the edges are monotone with respect to the vertical direction. Testing upward planarity and constructing upward ...
126
Voted
RULES
1993
Springer
15 years 8 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...
143
click to vote
CODES
2007
IEEE
15 years 8 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...
132
Voted
SPAA
1997
ACM
15 years 8 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...