Sciweavers

3507 search results - page 406 / 702
» Slicing for architectural analysis
Sort
View
194
Voted
ICIAR
2009
Springer
16 years 2 months ago
Modeling of Elastic Behavior of 3D Deformable Objects from Range and Tactile Imaging
The paper presents a joint sensing strategy that combines tactile probing and range imaging for the mapping of the elastic properties that characterize 3D deformable objects. A fee...
Ana-Maria Cretu, Pierre Payeur, Emil M. Petriu
161
Voted
CISS
2008
IEEE
16 years 1 months ago
Random access over multiple access channels: A queuing perspective
—This paper investigates a slotted random access system where packet capture is modeled using communication theoretic techniques. It is shown that the optimum rates and attempt p...
Shreeshankar Bodas, Sriram Vishwanath, Vijay Subra...
235
Voted
FROCOS
2007
Springer
16 years 1 months ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
ACSAC
2005
IEEE
16 years 1 months ago
Privacy Requirements Implemented with a JavaCard
Privacy is extremely important in healthcare systems. Unfortunately, most of the solutions already deployed are developed empirically. After discussing some of such existing solut...
Anas Abou El Kalam, Yves Deswarte
IPCCC
2005
IEEE
16 years 1 months ago
Cluster-based input/output trace synthesis
I/O traces are crucial for understanding the performance of new storage architectures. Unfortunately, traces are extremely bursty and difficult to characterize. They are large, d...
Bo Hong, Tara M. Madhyastha, B. Zhang