Search Sciweavers | Sciweavers

4299 search results - page 19 / 860

» Concurrent Test Generation

click to vote

IICS
2005
Springer

115views Internet Technology» more IICS 2005»

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations

14 years 1 months ago

Download www-verimag.imag.fr

Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...

Ismail Assayad, Sergio Yovine

claim paper

Read More »

click to vote

ICCAD
1994
IEEE

127views Hardware» more ICCAD 1994»

Synthesis of concurrent system interface modules with automatic protocol conversion generation

14 years 17 days ago

Download cwc.ucsd.edu

-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...

Bill Lin, Steven Vercauteren

claim paper

Read More »

click to vote

ISPASS
2008
IEEE

99views Software Engineering» more ISPASS 2008»

Next-Generation Performance Counters: Towards Monitoring Over Thousand Concurrent Events

14 years 2 months ago