481 search results - page 54 / 97 » Differential symbolic execution |
92
Voted
RTCSA
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
87
Voted
HT
1998
ACM
15 years 4 months ago
1998
ACM
“Linking by inking” is a new interface for reader-directed link construction that bridges reading and browsing activities. We are developing linking by inking in XLibris, a hy...
84
Voted
SPAA
1998
ACM
15 years 4 months ago
1998
ACM
Sparse LU factorization with partial pivoting is important for many scienti c applications and delivering high performance for this problem is di cult on distributed memory machin...
103
Voted
CCS
2010
ACM
14 years 11 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
99
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
As the ability to produce a large number of small, simple robotic agents improves, it becomes essential to control the behavior of these agents in such a way that the sum of their...