3521 search results - page 66 / 705 » Algorithmic Control in Concurrent Computations |
AB
2008
Springer
14 years 3 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
DAC
1996
ACM
14 years 26 days ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
CONCURRENCY
2010
13 years 8 months ago
2010
The InteGrade project is an on-going project with the participation of several research groups in Brazil. It is an opportunistic grid middleware that intends to exploit the idle t...
AINA
2005
IEEE
14 years 2 months ago
2005
IEEE
Call admission control (CAC) is one important QoS mechanism for maintaining performance of streaming media services. In this paper, we propose a novel CAC algorithm, which handles...
DAC
2004
ACM
14 years 14 days ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...