1271 search results - page 206 / 255 » On Simulation-Checking with Sequential Systems |
SIGSOFT
1994
ACM
14 years 1 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
VLDB
1992
ACM
14 years 1 months ago
1992
ACM
In most database systems with production rule facilities, rules respond to operations on centralized data and rule processing is performed in a centralized, sequential fashion. In ...
ARC
2007
Springer
14 years 29 days ago
2007
Springer
The coarse-grained reconfigurable architecture ADRES (Architecture for Dynamically Reconfigurable Embedded Systems) and its compiler offer high instruction-level parallelism (ILP)...
BIBM
2007
IEEE
14 years 29 days ago
2007
IEEE
Chewing is an essential part of food intake. The analysis and detection of food patterns is an important component of an automatic dietary monitoring system. However chewing is a t...
ICDCS
2010
IEEE
14 years 24 days ago
2010
IEEE
- We demonstrate that the network flux over the sensor network provides us fingerprint information about the mobile users within the field. Such information is exoteric in the phys...