819 search results - page 49 / 164 » Using Assumptions to Distribute CTL Model Checking |
124
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
74
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
This work presents a Log-stable model for natural images blockvariance. Exponential and halfnormal distributions have been previously used to model block-variance, but they were e...
109
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
78
Voted
TSMC
2002
15 years 6 days ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
115
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...