1980 search results - page 243 / 396 » Compositional Model Checking of Real Time Systems |
189
Voted
CC
2008
Springer
15 years 5 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
112
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...
141
click to vote
OPODIS
2010
15 years 1 months ago
2010
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...
143
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
125
click to vote
IPSN
2009
Springer
15 years 10 months ago
2009
Springer
Data Driven Time Synchronization (DDTS) provides synchronization across sensors by using underlying characteristics of data collected by an embedded sensing system. We apply the c...