Sciweavers

1776 search results - page 137 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
ICONS
2009
IEEE
14 years 3 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
14 years 1 months ago
A Time Slice Based Scheduler Model for System Level Design
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
Luciano Lavagno, Claudio Passerone, Vishal Shah, Y...
ATAL
2005
Springer
14 years 1 months ago
Using decision-theoretic models to enhance agent system survivability
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
Anthony R. Cassandra, Marian H. Nodine, Shilpa Bon...
HICSS
2009
IEEE
106views Biometrics» more  HICSS 2009»
14 years 3 months ago
A Radical Approach to Network-on-Chip Operating Systems
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
Michael Engel, Olaf Spinczyk
VR
2002
IEEE
124views Virtual Reality» more  VR 2002»
14 years 1 months ago
Handling Heterogeneity in Networked Virtual Environments
The availability of inexpensive and powerful graphics cards as well as fast Internet connections make Networked Virtual Environments viable for millions of users and many new appl...
Helmuth Trefftz, Ivan Marsic, Michael Zyda