1901 search results - page 183 / 381 » Predicting Program Properties from |
124
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Statistical multiplexing aims at transmitting several variable bit rate (VBR) encoded video streams over a bandlimited channel. Rate-distortion (RD) models for the encoded streams ...
119
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
234
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
138
click to vote
ICALP
2011
Springer
14 years 6 months ago
2011
Springer
Given a directed graph G = (V, E) and an integer k ≥ 1, a Steiner k-transitive-closure-spanner (Steiner k-TC-spanner) of G is a directed graph H = (VH , EH ) such that (1) V ⊆ ...
221
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
In constraint satisfaction, basic inferences rely on some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations (als...