2607 search results - page 120 / 522 » On the Architecture of System Verification Environments |
167
click to vote
MDM
2009
Springer
15 years 11 months ago
2009
Springer
—In this paper we describe a prototype system of identifying environment condition utilizing signals emitted by people. Many people move around in many places such as urban and m...
154
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
174
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
176
click to vote
CLUSTER
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
143
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
Temporal links allow recordings of multi-user sessions to be dynamically inserted into current virtual worlds in a flexible and principled way. This paper explores key application...