Sciweavers

2902 search results - page 294 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
142
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
ISHPC
2000
Springer
15 years 7 months ago
Leveraging Transparent Data Distribution in OpenMP via User-Level Dynamic Page Migration
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...
Dimitrios S. Nikolopoulos, Theodore S. Papatheodor...
120
Voted
FMOODS
2000
15 years 5 months ago
Requirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
Rik Eshuis, Roel Wieringa
ICIP
2005
IEEE
16 years 5 months ago
Tracking points on deformable objects with ranklets
We present a robust algorithm for point tracking on deformable objects. The key elements are the use of orientation selective rank features (ranklets), local filter adaptation and...
Fabrizio Smeraldi, Alessio Del Bue, Lourdes de Aga...
137
Voted
IAT
2005
IEEE
15 years 9 months ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...