2607 search results - page 349 / 522 » On the Architecture of System Verification Environments |
174
click to vote
HIPC
2007
Springer
16 years 22 days ago
2007
Springer
Flooding is a fundamental building block of unstructured peer-to-peer (P2P) systems. In this paper, we investigate techniques to improve the performance of flooding. In particular...
176
click to vote
RTCSA
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
168
click to vote
DOCENG
2004
ACM
16 years 8 hour ago
2004
ACM
This research’s primary contribution is providing a relatively straightforward, sustainable infrastructure for integrating documents and services. Users see a totally integrated...
175
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...
174
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...