351 search results - page 9 / 71 » Plug-and-Play Architectural Design and Verification |
82
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
81
Voted
DAC
2008
ACM
15 years 10 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...