34974 search results - page 6608 / 6995 » The particle computer system |
186
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
163
click to vote
ECCC
2010
15 years 7 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
204
click to vote
DEBU
2008
15 years 7 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
198
click to vote
ENTCS
2008
15 years 7 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
167
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...