4693 search results - page 918 / 939 » Verifying Hybrid Systems |
145
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
145
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
122
Voted
ICDCS
2009
IEEE
16 years 20 days ago
2009
IEEE
Sensor localization in wireless sensor networks is an important component of many applications. Previous work has demonstrated how localization can be achieved using various metho...
150
Voted
EUROSYS
2010
ACM
16 years 18 days ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
141
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...