Sciweavers

1128 search results - page 145 / 226
» Dynamic Communication Models in Embedded System Co-Simulatio...
Sort
View
126
Voted
ICPR
2006
IEEE
16 years 3 months ago
Object Tracking Using Globally Coordinated Nonlinear Manifolds
We present a dynamic inference algorithm in a globally parameterized nonlinear manifold and demonstrate it on the problem of visual tracking. An appearance manifold is usually non...
Che-Bin Liu, Ming-Hsuan Yang, Narendra Ahuja, Ruei...
121
Voted
ECRTS
2010
IEEE
15 years 3 months ago
On Schedulability Analysis of Non-cyclic Generalized Multiframe Tasks
— The generalized multiframe (GMF) task has been proposed to model a task whose execution times, deadlines and minimum separation times are changed according to a specified patte...
Noel Tchidjo Moyo, Eric Nicollet, Frederic Lafaye,...
124
Voted
FORTE
2008
15 years 4 months ago
Distributed Semantics and Implementation for Systems with Interaction and Priority
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
Ananda Basu, Philippe Bidinger, Marius Bozga, Jose...
130
Voted
RTAS
2003
IEEE
15 years 8 months ago
Real-Time Support for Mobile Robotics
Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies,...
Huan Li, John Sweeney, Krithi Ramamritham, Roderic...
111
Voted
BIRTHDAY
2000
Springer
15 years 7 months ago
Discrete time process algebra with silent step
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Renie...