1102 search results - page 86 / 221 » Generalizing Updates: From Models to Programs |
96
Voted
SENSYS
2004
ACM
15 years 5 months ago
2004
ACM
To support network programming, we present Deluge, a reliable data dissemination protocol for propagating large data objects from one or more source nodes to many other nodes over...
96
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
103
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
103
click to vote
ISMB
1996
15 years 1 months ago
1996
For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...
117
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We consider a model of learning Boolean functions from quantum membership queries. This model was studied in [26], where it was shown that any class of Boolean functions which is i...