1541 search results - page 81 / 309 » Tools and Techniques for Model Checking Networked Programs |
103
click to vote
GCB
1997
Springer
15 years 4 months ago
1997
Springer
We present a global search technique for nding the global minimal conformation of a sequence in Dill's HP-lattice model5;6 . The HP-lattice model is a simpli ed model of prot...
92
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
135
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
121
Voted
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
190
Voted
AGP
2010
IEEE
15 years 5 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...