780 search results - page 100 / 156 » Compositional Quantitative Reasoning |
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. We study an FPGA architecture with a dual voltage s...
107
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
91
Voted
IAT
2007
IEEE
15 years 7 months ago
2007
IEEE
Privacy is often cited as the main reason to adopt a multiagent approach for a certain problem. This also holds true for multiagent planning. Still, papers on multiagent planning ...
104
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...