9842 search results - page 666 / 1969 » Compositional timing analysis |
196
click to vote
LICS
2005
IEEE
16 years 26 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
179
click to vote
GECCO
2004
Springer
16 years 20 days ago
2004
Springer
In order to handle classification problems with real-valued attributes using discretization algorithms it is necessary to obtain a good and reduced set of cut points in order to l...
195
Voted
DATE
2003
IEEE
16 years 17 days ago
2003
IEEE
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...
160
click to vote
INFOCOM
2003
IEEE
16 years 17 days ago
2003
IEEE
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
216
Voted
CODES
2002
IEEE
16 years 7 days ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...