Sciweavers

990 search results - page 170 / 198
» Towards an Ontology of Products
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 5 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
HPDC
2006
IEEE
16 years 5 days ago
On the Harmfulness of Redundant Batch Requests
Most parallel computing resources are controlled by batch schedulers that place requests for computation in a queue until access to compute nodes is granted. Queue waiting times a...
Henri Casanova
ICRA
2006
IEEE
113views Robotics» more  ICRA 2006»
16 years 4 days ago
Mobile in vivo Biopsy Robot
– A mobile in vivo camera robot was developed to provide the ability for a single port biopsy procedure. Such a robot can be inserted into the abdominal cavity through a standard...
Mark Rentschler, Jason Dumpert, Stephen Platt, Dmi...
SOUPS
2006
ACM
16 years 2 days ago
Aligning usability and security: a usability study of Polaris
Security software is often difficult to use thus leading to poor adoption and degraded security. This paper describes a usability study that was conducted on the software ‘Polar...
Alexander J. DeWitt, Jasna Kuljis
MSE
2005
IEEE
137views Hardware» more  MSE 2005»
15 years 11 months ago
Teaching SoC Design in a Project-Oriented Course Based on Robotics
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...
Abner Correa Barros, Pericles Lima, Juliana Xavier...