3828 search results - page 351 / 766 » Proof-Based System Engineering Using a Virtual System Model |
231
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
151
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
148
click to vote
COMAD
2008
15 years 8 months ago
2008
Asynchronous IO (AIO) allows a process to continue to do other work while an IO operation initiated earlier completes. AIO allows a large number of random IO operations to be issu...
167
click to vote
CN
1998
15 years 6 months ago
1998
The main aim of our work is to create a realistic model of the behaviour of the upper airways during laryngoscopy. In this procedure the anaesthetist uses a rigid blade to displac...
204
click to vote
CG
1999
Springer
15 years 6 months ago
1999
Springer
Hybrid geometry- and image-based modeling and rendering systems use photographs taken of a real-world environment and mapped onto the surfaces of a 3D model to achieve photorealis...