Sciweavers

3482 search results - page 284 / 697
» Cooperative Assembly Systems
Sort
View
ECOOP
2010
Springer
16 years 4 days ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
CSFW
2000
IEEE
15 years 11 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
ISCOPE
1999
Springer
15 years 11 months ago
SIFFEA: Scalable Integrated Framework for Finite Element Analysis
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
Xiangmin Jiao, Xiang-Yang Li, Xiaosong Ma
DFT
2006
IEEE
85views VLSI» more  DFT 2006»
15 years 11 months ago
Inherited Redundancy and Configurability Utilization for Repairing Nanowire Crossbars with Clustered Defects
With the recent development of nanoscale materials and assembly techniques, it is envisioned to build high-density reconfigurable systems which have never been achieved by the pho...
Yadunandana Yellambalase, Minsu Choi, Yong-Bin Kim
AR
2005
132views more  AR 2005»
15 years 7 months ago
Active compliant motion: a survey
Whether they are asked to polish or assemble parts, clean the house or open doors, the future generation of robots will have to cope with contact tasks under uncertainty in a stabl...
Tine Lefebvre, Jing Xiao, Herman Bruyninckx, Gudru...