350 search results - page 43 / 70 » From control effects to typed continuation passing |
ITC
2003
IEEE
14 years 24 days ago
2003
IEEE
The use of AC coupled interconnects to provide communication paths between devices is increasing. The existing IEEE 1149.1 boundary scan standard [1] (JTAG) has limitations that h...
FAC
2007
13 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
CAD
2011
Springer
12 years 11 months ago
2011
Springer
Ridges are characteristic curves of a surface that mark salient intrinsic features of its shape and are therefore valuable for shape matching, surface quality control, visualizati...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Self-managing solutions have recently attracted a lot of interest from the database community. The need for self-* properties is more evident in distributed applications comprising...
SMI
2006
IEEE
14 years 1 months ago
2006
IEEE
Most real world objects consist of non-uniform materials; as a result, during deformation the bending and shearing are distributed non-uniformly and depend on the local stiffness ...