2278 search results - page 106 / 456 » Specification Techniques for Automatic Performance Analysis ... |
100
click to vote
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
116
click to vote
DAC
2003
ACM
16 years 18 days ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
WSC
2004
15 years 1 months ago
2004
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...
105
click to vote
SIGSOFT
2009
ACM
16 years 11 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
115
click to vote
ICAI
2007
15 years 1 months ago
2007
- NLM's Unified Medical Language System (UMLS) is a very large ontology of biomedical and health data. In order to be used effectively for knowledge processing, it needs to be...