44 search results - page 9 / 9 » Component Verification with Automatically Generated Assumpti... |
WISE
2000
Springer
13 years 10 months ago
2000
Springer
In this work we discuss a service that aims to make quoting of online documents, „web contents“ easy and provable. For that reason we report the conception of a gateway that w...
IWMM
2010
Springer
13 years 7 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
DAC
2008
ACM
14 years 6 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
ACMSE
2004
ACM
13 years 11 months ago
2004
ACM
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...