Sciweavers

557 search results - page 58 / 112
» Device Modeling for a Flexible Embedded Systems Development ...
Sort
View
ERSA
2003
301views Hardware» more  ERSA 2003»
13 years 9 months ago
A Configurable Hardware Scheduler for Real-Time Systems
Many real-time applications require a high-resolution time tick in order to work properly. However, supporting a high-resolution time tick imposes a very high overhead on the syst...
Pramote Kuacharoen, Mohamed Shalan, Vincent John M...
CONCUR
2000
Springer
14 years 6 days ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
TGIS
2002
175views more  TGIS 2002»
13 years 7 months ago
Using Ontologies for Integrated Geographic Information Systems
Today, there is a huge amount of data gathered about the Earth, not only from new spatial information systems, but also from new and more sophisticated data collection technologie...
Frederico T. Fonseca, Max J. Egenhofer, Peggy Agou...
MICRO
2009
IEEE
113views Hardware» more  MICRO 2009»
14 years 2 months ago
Portable compiler optimisation across embedded programs and microarchitectures using machine learning
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
Christophe Dubach, Timothy M. Jones, Edwin V. Boni...
HICSS
2012
IEEE
346views Biometrics» more  HICSS 2012»
12 years 3 months ago
The Fundamental Concept of Unified Generalized Model and Data Representation for New Applications in the Future Grid
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
Mladen Kezunovic, Santiago Grijalva, Papiya Dutta,...