Sciweavers

2695 search results - page 256 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
ACE
2004
188views Education» more  ACE 2004»
15 years 5 months ago
A Computing Education Vision for the Sight Impaired
Vision is the main sensory modality employed in learning. Teaching materials in the areas of information technology and computer engineering are highly visual in nature and vision...
Iain Murray, Helen Armstrong
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 10 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
CCGRID
2004
IEEE
15 years 8 months ago
An interactive Grid for non-invasive vascular reconstruction
We conduct computer simulation experiments in pre-operative planning of vascular reconstruction with a physician in the experimental loop. We constructed a problem-solving environ...
Peter M. A. Sloot, Alfredo Tirado-Ramos, Alfons G....
WSC
2007
15 years 6 months ago
Exploiting web service techniques for composing simulation models
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
Mathias Röhl, Florian Marquardt, Adelinde M. ...
DSD
2007
IEEE
217views Hardware» more  DSD 2007»
15 years 10 months ago
Component-Based Hardware/Software Co-Simulation
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
Ping Hang Cheung, Kecheng Hao, Fei Xie