Sciweavers

562 search results - page 60 / 113
» Distinguishing between cause and effect
Sort
View
HAPTICS
2005
IEEE
15 years 3 months ago
A Fracture Mechanics Approach to Haptic Synthesis of Tissue Cutting with Scissors
An analytical model for cutting of a plate of material with a pair of scissors is presented in terms of concepts of contact and fracture mechanics. The forces of contact between t...
Mohsen Mahvash, Allison M. Okamura
TACS
1994
Springer
15 years 1 months ago
Separate Abstract Interpretation for Control-Flow Analysis
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
Yan Mei Tang, Pierre Jouvelot
ITC
1998
IEEE
174views Hardware» more  ITC 1998»
15 years 2 months ago
High volume microprocessor test escapes, an analysis of defects our tests are missing
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
Wayne M. Needham, Cheryl Prunty, Yeoh Eng Hong
HASE
2008
IEEE
15 years 4 months ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
P2P
2008
IEEE
149views Communications» more  P2P 2008»
15 years 4 months ago
AREX: An Adaptive System for Secure Resource Access in Mobile P2P Systems
In open environments, such as mobile peer-to-peer systems, participants may need to access resources from unknown users. A critical security concern in such systems is the access ...
Brent Lagesse, Mohan Kumar, Matthew Wright