617 search results - page 23 / 124 » A novel criticality computation method in statistical timing... |
173
click to vote
PERCOM
2003
ACM
16 years 5 months ago
2003
ACM
Time information is critical for a variety of applications in distributed environments that facilitate pervasive computing and communication. This work describes and evaluates a no...
171
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
176
click to vote
EDCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
161
click to vote
AAAI
2010
15 years 7 months ago
2010
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
182
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Normalization is essential in dual-labelled microarray data analysis to remove nonbiological variations and systematic biases. Many normalization methods have been use...