570 search results - page 54 / 114 » From Program Verification to Program Synthesis |
126
Voted
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
114
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
114
Voted
VLSID
1994
IEEE
15 years 6 months ago
1994
IEEE
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
223
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...