5339 search results - page 431 / 1068 » Controllable Delay-Insensitive Processes |
144
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
To clarify the relation between controllable attributes of a software development and its productivity, this paper experimentally analyzed a software project repository (SEC repos...
178
click to vote
INFOCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
— We consider a queueing system with controllable service rate; for example, a transmitter whose rate can be controlled by varying the transmission power. For such a system we ob...
192
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
175
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
168
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...