1716 search results - page 272 / 344 » Proving Conditional Termination |
96
Voted
RTSS
1997
IEEE
15 years 5 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...
111
click to vote
PODS
1997
ACM
15 years 5 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
122
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
104
Voted
IFL
1997
Springer
15 years 5 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
ICRA
1994
IEEE
15 years 5 months ago
1994
IEEE
Accurate knowledge of depth continues to be of critical importance in robotic systems. Without accurate depth knowledge, tasks such as inspection, tracking, grasping, and collisio...