1346 search results - page 269 / 270 » Alternating-time dynamic logic |
ICCAD
2010
IEEE
13 years 3 months ago
2010
IEEE
Reducing circuit's peak current plays an important role in circuit reliability in deep sub-micron era. For sequential circuits, it is observed that the peak current has a str...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
IEEEPACT
2009
IEEE
13 years 3 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
CBMS
2004
IEEE
13 years 9 months ago
2004
IEEE
Page >> Table of Contents >> Abstract 17th IEEE Symposium on Computer-Based Medical Systems (CBMS'04) p. 420 Online Medical Teaching Case Database Susan Kansagra, ...