3844 search results - page 138 / 769 » Modular interpreted systems |
132
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
145
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
156
click to vote
ICVS
2001
Springer
15 years 7 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
138
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
205
click to vote
ANCS
2011
ACM
14 years 3 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...