10159 search results - page 353 / 2032 » System Design Validation Using Formal Models |
164
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
135
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
125
Voted
ICCAD
2001
IEEE
16 years 25 days ago
2001
IEEE
Once the battery becomes fully discharged, a battery-powered portable electronic system goes off-line. Therefore, it is important to take the battery behavior into account. A syst...
118
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
141
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...