343 search results - page 57 / 69 » Finding latent performance bugs in systems implementations |
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
MICRO
1996
IEEE
13 years 12 months ago
1996
IEEE
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit--the dataflow limit--on the parallel execution of serial progra...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
CSREAESA
2006
13 years 9 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
EOR
2006
13 years 7 months ago
2006
Artificial neural networks (ANN) have been widely used for both classification and prediction. This paper is focused on the prediction problem in which an unknown function is appr...