Sciweavers

1995 search results - page 116 / 399
» What's the Problem
Sort
View
FMCAD
2008
Springer
15 years 5 months ago
BackSpace: Formal Analysis for Post-Silicon Debug
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steve...
ACSAC
2009
IEEE
15 years 10 months ago
The Good, the Bad, And the Ugly: Stepping on the Security Scale
: Metrics are both fashionable and timely: many regulations that affect cybersecurity rely upon metrics – albeit, of the checklist variety in many cases – to ascertain complian...
Mary Ann Davidson
PODC
2010
ACM
15 years 6 months ago
On the computational power of oblivious robots: forming a series of geometric patterns
We study the computational power of a distributed system consisting of simple autonomous robots moving on the plane. The robots are endowed with visual perception but do not have ...
Shantanu Das, Paola Flocchini, Nicola Santoro, Mas...
CJ
2006
117views more  CJ 2006»
15 years 4 months ago
Atomic Hypermedia
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...
Duncan Martin, Helen Ashman
CVPR
2010
IEEE
16 years 12 days ago
Tracking People Interacting with Objects
While the problem of tracking 3D human motion has been widely studied, most approaches have assumed that the person is isolated and not interacting with the environment. Environme...
Hedvig Kjellstrom, Michael Black, Danica Kragic