Sciweavers

990 search results - page 170 / 198
» Towards an Ontology of Products
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 1 months 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
14 years 1 months 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»
14 years 1 months 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
14 years 1 months 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»
14 years 1 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...