10159 search results - page 353 / 2032 » System Design Validation Using Formal Models |
230
click to vote
ICTAI
2008
IEEE
16 years 1 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)...
193
click to vote
ASPDAC
2005
ACM
15 years 8 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...
170
Voted
ICCAD
2001
IEEE
16 years 3 months 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...
162
click to vote
ICECCS
2002
IEEE
15 years 11 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...
176
click to vote
ICFEM
2004
Springer
16 years 5 days 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...