549 search results - page 23 / 110 » Verification condition generation for conditional informatio... |
100
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents an application based on a hot wire anemometric sensor in MEMS technology in the field of water flow monitoring. New generations of MEMS sensors feature remarka...
ENGL
2007
15 years 13 days ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
114
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We consider the network control problem for wireless networks with flow level dynamics under the general k-hop interference model. In particular, we investigate the co...
95
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Face verification systems reach good performance on ideal environmental conditions. Conversely, they are very sensitive to non-controlled environments. This work proposes the cla...
131
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...