1760 search results - page 110 / 352 » A System to Mark Programs Automatically |
115
click to vote
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
150
click to vote
CL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
122
click to vote
MOBISYS
2005
ACM
16 years 2 months ago
2005
ACM
In this paper, we describe the design and implementation of a distributed operating system for ad hoc networks. Our system simplifies the programming of ad hoc networks and extend...
136
click to vote
IEEEARES
2009
IEEE
15 years 16 days ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
128
click to vote
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...