Sciweavers

2523 search results - page 77 / 505
» Correct Development of Embedded Systems
Sort
View
ISORC
2005
IEEE
14 years 2 months ago
EarlGray: A Component-Based Java Virtual Machine for Embedded Systems
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...
Hiroo Ishikawa, Tatsuo Nakajima
ATVA
2008
Springer
159views Hardware» more  ATVA 2008»
13 years 11 months ago
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
John Håkansson, Jan Carlson, Aurelien Monot,...
WISES
2004
13 years 10 months ago
Towards a Rapid Prototyping Framework for Architecture Exploration in Embedded Systems
-- In this paper a Rapid Prototyping Framework and next steps towards the support for interactive Architecture Exploration based on the SPEAR processor core (Scalable Processor for...
Martin Jankela, Wolfgang Puffitsch, Wolfgang Huber
ICDE
2007
IEEE
110views Database» more  ICDE 2007»
14 years 3 months ago
Embedding Emotional Context in Recommender Systems
Emotional context is becoming a promising paradigm to develop more intuitive and sensitive recommender systems. Ambient Recommender Systems, arise from the analysis of new trends ...
Gustavo González, Josep Lluís de la ...
DELTA
2006
IEEE
14 years 3 months ago
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Pe...