1901 search results - page 167 / 381 » Predicting Program Properties from |
143
click to vote
IOR
2008
15 years 3 months ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
146
click to vote
TIT
2010
14 years 10 months ago
2010
A method for bounding the rate of bit-stuffing encoders for 2-D constraints is presented. Instead of considering the original encoder, we consider a related one which is quasistati...
129
click to vote
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
116
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
148
click to vote
IAT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...