Sciweavers

2902 search results - page 294 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
MEMOCODE
2010
IEEE
15 years 4 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
181
Voted
ISHPC
2000
Springer
15 years 10 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...
FMOODS
2000
15 years 8 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 8 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...
IAT
2005
IEEE
16 years 9 days 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...