1585 search results - page 57 / 317 » A framework for computer-aided validation |
ACL
2010
14 years 10 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
118
click to vote
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
135
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
116
click to vote
ISPD
2005
ACM
15 years 5 months ago
2005
ACM
The sustained progress of VLSI technology has altered the landscape of routing which is a major physical design stage. For timing driven routings, traditional approaches which con...
TSE
2002
14 years 11 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...