2607 search results - page 221 / 522 » On the Architecture of System Verification Environments |
183
click to vote
DAC
1996
ACM
15 years 11 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...
205
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...
186
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...
207
click to vote
CLUSTER
2005
IEEE
15 years 9 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...
231
click to vote
LICS
2005
IEEE
16 years 24 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...