15644 search results - page 337 / 3129 » Brittle System Analysis |
200
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
184
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper suggests an evolutionary approach to design coordination strategies, a key issue in distributed intelligent systems. We focus on competitive strategies in the form of f...
157
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
171
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
151
click to vote
ISI
2004
Springer
16 years 4 days ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...