Sciweavers

8190 search results - page 301 / 1638
» From Timed to Hybrid Systems
Sort
View
ISORC
2003
IEEE
16 years 16 hour ago
Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
Jan Carlson, Tomas Lennvall, Gerhard Fohler
DAC
2003
ACM
16 years 7 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
181
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
A Framework for Timed Concurrent Constraint Programming with External Functions
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
María Alpuente, Bernhard Gramlich, Alicia V...
SG
2010
Springer
15 years 4 months ago
Event Line View: Interactive Visual Analysis of Irregular Time-Dependent Data
Abstract. In this paper we present a novel approach to visualize irregularly occurring events. We introduce the event line view designed specifically for such events data (a subset...
Kresimir Matkovic, Alan Lez, Denis Gracanin, Andre...
SIPS
2007
IEEE
16 years 1 months ago
Layered Steered Space-Time Codes Using Iterative Detection
— This paper presents a novel multifunctional multiple-input multiple-output (MIMO) scheme that combines the benefits of the Vertical Bell Labs Layered Space-Time (VBLAST) schem...
Mohammed El-Hajjar, Osamah Alamri, Lajos Hanzo