2607 search results - page 221 / 522 » On the Architecture of System Verification Environments |
162
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
184
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
Advertising on mobile devices has large potential due to the very personal and intimate nature of the devices and high targeting possibilities. We introduce a novel B-MAD system f...
161
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
185
click to vote
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...
193
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...