Sciweavers

759 search results - page 19 / 152
» Verification of a Microprocessor Using Real World Applicatio...
Sort
View
HASE
2008
IEEE
14 years 9 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
VR
2010
IEEE
200views Virtual Reality» more  VR 2010»
14 years 8 months ago
Mixed reality in virtual world teleconferencing
In this paper we present a Mixed Reality (MR) teleconferencing application based on Second Life (SL) and the OpenSim virtual world. Augmented Reality (AR) techniques are used for ...
Tuomas Kantonen, Charles Woodward, Neil Katz
JMM2
2006
219views more  JMM2 2006»
14 years 9 months ago
Fully Automatic Real-Time 3D Object Tracking using Active Contour and Appearance Models
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
Giorgio Panin, Alois Knoll
FMCAD
2006
Springer
15 years 1 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar
MICRO
1999
IEEE
105views Hardware» more  MICRO 1999»
15 years 1 months ago
DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
Todd M. Austin