1071 search results - page 206 / 215 » Programming with enumerable sets of structures |
194
click to vote
ISSTA
2009
ACM
16 years 24 days ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
176
click to vote
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
153
click to vote
EMSOFT
2007
Springer
16 years 13 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
173
click to vote
XPU
2007
Springer
16 years 11 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
133
click to vote
CGO
2006
IEEE
16 years 10 days ago
2006
IEEE
Explicit Data Graph Execution (EDGE) architectures offer the possibility of high instruction-level parallelism with energy efficiency. In EDGE architectures, the compiler breaks ...