1016 search results - page 125 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
106
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In multi-issue negotiations, autonomous agents can act cooperatively to benefit from mutually preferred agreements. However, empirical evidence suggests that they often fail to s...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents a generalized formulation of the periodic steady-state analysis for oscillators. The new formulation finds the value of a circuit parameter that results in a d...
78
Voted
DAC
1998
ACM
15 years 11 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
DAC
2000
ACM
15 years 11 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these application...