2607 search results - page 44 / 522 » On the Architecture of System Verification Environments |
CADE
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
ICAT
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we present the hierarchical QoS architecture for the virtual dancing environment. In this system, geographically distributed users share the virtual dancing hall an...
INDIASE
2009
ACM
15 years 6 months ago
2009
ACM
A software architect engages in solving Software Engineering (SE) problems throughout his career. Thus inculcating problem solving skills should be one of the learning objectives ...
106
click to vote
CGI
2006
IEEE
15 years 5 months ago
2006
IEEE
In recent years, large scale distributed virtual environments (DVEs) have become a major trend in distributed applications, mainly due to the enormous popularity of multiplayer onl...
TCAD
2002
14 years 11 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...