Sciweavers

605 search results - page 93 / 121
» A strategy for efficiently verifying requirements
Sort
View
CAD
2000
Springer
13 years 8 months ago
The Enterprise-Web portal for life-cycle support
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
Mohsen Rezayat
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
14 years 1 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
CLUSTER
2004
IEEE
13 years 8 months ago
Towards Real-Time Fault-Tolerant CORBA Middleware
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...
Aniruddha S. Gokhale, Balachandran Natarajan, Doug...
IUI
2000
ACM
14 years 1 months ago
Adaptive medical information delivery combining user, task and situation models
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
Luis Francisco-Revilla, Frank M. Shipman III
CVPR
2003
IEEE
14 years 11 months ago
3D Surface Modeling from Range Curves
Traditional approaches for surface reconstruction from range data require that the input data be either range images or unorganized sets of points. Since a large number of range s...
Dragan Tubic, Patrick Hébert, Denis Laurend...