4340 search results - page 391 / 868 » Formal Methods and Cryptography |
190
click to vote
MSWIM
2006
ACM
16 years 23 days ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
253
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
119
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
162
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
157
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...