17054 search results - page 53 / 3411 » Logics of Dynamical Systems |
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
VSTTE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
EUSFLAT
2009
13 years 7 months ago
2009
ADC
2006
Springer
14 years 3 months ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...
ISLPED
2009
ACM
14 years 4 months ago
2009
ACM
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...