Sciweavers

11374 search results - page 226 / 2275
» Demonstration of the CROSSMARC System
Sort
View
EUROMICRO
1999
IEEE
15 years 11 months ago
An Improved Scheduling Technique for Time-Triggered Embedded Systems
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
Paul Pop, Petru Eles, Zebo Peng
HICSS
1999
IEEE
88views Biometrics» more  HICSS 1999»
15 years 11 months ago
An Intelligent Solution Support System for Spatial Modelling and Decision Support
`Modelling inside GIS' has been widely researched over the years. This paper argues that such approach lacks appropriate model reusing and management functions because it is ...
Anthony Gar-On Yeh, Jiming Qiao
ISSS
1997
IEEE
83views Hardware» more  ISSS 1997»
15 years 11 months ago
A Scheduling and Pipelining Algorithm for Hardware/Software Systems
Given a hardware/software partitioned specification and an allocation (number and type) of processors, we present an algorithm to (1) map each of the software behaviors (or tasks...
Smita Bakshi, Daniel Gajski
VISUALIZATION
1997
IEEE
15 years 11 months ago
Collaborative augmented reality: exploring dynamical systems
In this paper we present collaborative scientific visualization in STUDIERSTUBE. STUDIERSTUBE is an augmented reality system that has several advantages over conventional desktop ...
Anton L. Fuhrmann, Helwig Löffelmann, Dieter ...
COMPASS
1994
15 years 10 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy