1297 search results - page 230 / 260 » Control of systems integrating logic, dynamics, and constrai... |
136
click to vote
Publication
The need for service providers to offer SLAs to gain consumers confidence has become increasingly apparent. Our work focuses on providers who manage the execution of long-running d...
113
click to vote
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
109
click to vote
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
114
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
134
click to vote
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...