1329 search results - page 185 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
189
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
189
click to vote
KDD
2009
ACM
16 years 29 days ago
2009
ACM
In this paper, we introduce a system named Argo which provides intelligent advertising made possible from users’ photo collections. Based on the intuition that user-generated ph...
208
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The now commonplace multi-core chips have introduced, by design, a deep hierarchy of memory and cache banks within parallel computers as a tradeoff between the user frien...
148
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
148
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...