1541 search results - page 56 / 309 » Tools and Techniques for Model Checking Networked Programs |
105
Voted
NA
2010
14 years 11 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
103
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
VL
2002
IEEE
15 years 5 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
JUCS
2006
15 years 15 days ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...