853 search results - page 58 / 171 » Delimited Continuations in Operating Systems |
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
—With the continued push toward dispersed generation and distributed intelligent devices throughout the distribution system, a proper analysis method for understanding the operat...
ICALP
1992
Springer
15 years 1 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
119
click to vote
TOG
2012
13 years 7 days ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—As semiconductor manufacturing enters advanced nanometer design paradigm, aging and device wear-out related degradation is becoming a major concern. Negative Bias Temperature In...