4520 search results - page 359 / 904 » Algebraic Techniques for Timed Systems |
193
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
177
click to vote
PERCOM
2008
ACM
16 years 7 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
202
click to vote
ICFP
1999
ACM
15 years 12 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
241
click to vote
CLOUD
2010
ACM
16 years 19 days ago
2010
ACM
Parallel dataflow programs generate enormous amounts of distributed data that are short-lived, yet are critical for completion of the job and for good run-time performance. We ca...
174
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...