903 search results - page 148 / 181 » Completeness Results for Memory Logics |
203
click to vote
FODO
1998
Springer
15 years 10 months ago
1998
Springer
In object-oriented database systems (OODB) with logical OIDs, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal ...
166
click to vote
ECRTS
2008
IEEE
16 years 22 days ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
169
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we present NoCEE, a fast and accurate method for extracting energy models for packet-switched Network on Chip (NoC) routers. Linear regression is used to model the r...
133
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
State elements are increasingly vulnerable to soft errors due to their decreasing size, and the fact that latched errors cannot be completely eliminated by electrical or timing ma...
172
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...