2638 search results - page 498 / 528 » A Framework for Automatic Debugging |
137
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
107
click to vote
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
127
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
108
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...