2470 search results - page 191 / 494 » Liveness-Preserving Simulation Relations |
138
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
126
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
113
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- By putting different chips on the same mask, shuttle mask (or multiple project wafer) provides an economical solution for low volume designs and design prototypes to share the ri...
134
click to vote
CEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract- Significant operational cost and energy savings can be achieved by optimising the schedules of pumps, which pump water from source reservoirs to storage tanks, in Water ...
147
click to vote
MCS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Functional magnetic resonance imaging (fMRI) is a noninvasive and powerful method for analysis of the operational mechanisms of the brain. fMRI classification poses a sev...