442 search results - page 78 / 89 » Model Checking of Systems Employing Commutative Functions |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
MPC
2010
Springer
14 years 4 days ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
The aim of Optical Motion Capture is to sequentially estimate the true state X of the subject (generally an articulated body) at any time instant tk from a set of data Dk, capture...
CPHYSICS
2008
13 years 7 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
TMM
2008
13 years 7 months ago
2008
Abstract--Traditional video servers partially cope with heterogeneous client populations by maintaining a few versions of the same stream with different bit rates. More recent vide...