1833 search results - page 25 / 367 » Mechanized Verification with Sharing |
COLCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
- Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration. Thus, it appears as a powerful paradigm to develop scalable distribut...
117
click to vote
SENSYS
2010
ACM
14 years 10 months ago
2010
ACM
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...
107
Voted
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
197
click to vote
HPCA
2007
IEEE
15 years 7 months ago
2007
IEEE
Shared memory multiprocessors play an increasingly important role in enterprise and scientific computing facilities. Remote misses limit the performance of shared memory applicat...
122
Voted
CASSIS
2004
Springer
15 years 4 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...