Sciweavers

307 search results - page 50 / 62
» java 2000
Sort
View
PRESENCE
2000
127views more  PRESENCE 2000»
13 years 7 months ago
Interactions in Perceived Quality of Auditory-Visual Displays
The quality of realism in virtual environments (VEs) is typically considered to be a function of visual and audio fidelity mutually exclusive of each other. However, the VE partic...
Russell L. Storms, Michael Zyda
IEEEPACT
2007
IEEE
14 years 2 months ago
Component-Based Lock Allocation
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
Richard L. Halpert, Christopher J. F. Pickett, Cla...
BMAS
2000
IEEE
14 years 4 days ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
HPDC
2000
IEEE
14 years 4 days ago
2K: A Distributed Operating System for Dynamic Heterogeneous Environments
The first decades of the new millennium will witness an explosive growth in the number and diversity of networked devices and portals. We foresee high degrees of mobility, hetero...
Fabio Kon, Roy H. Campbell, M. Dennis Mickunas, Kl...
ICCAD
2000
IEEE
137views Hardware» more  ICCAD 2000»
14 years 4 days ago
Smart Simulation Using Collaborative Formal and Simulation Engines
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James ...