223 search results - page 13 / 45 » Automated Implicit Computational Complexity Analysis (System... |
146
click to vote
CPE
1994
Springer
15 years 3 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
107
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
107
click to vote
DAC
1997
ACM
15 years 3 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
ACL
1997
15 years 1 months ago
1997
We present preliminary results concerning robust techniques for resolving bridging definite descriptions. We report our analysis of a collection of 20 Wall Street Journal articles...