Sciweavers

1200 search results - page 111 / 240
» Conformance Testing of Objects in Distributed Processing Sys...
Sort
View
IPMI
1999
Springer
15 years 10 months ago
The Distribution of Target Registration Error in Rigid-Body, Point-Based Registration
—Guidance systems designed for neurosurgery, hip surgery, spine surgery and for approaches to other anatomy that is relatively rigid can use rigid-body transformations to accompl...
Jay B. West, J. Michael Fitzpatrick
ASPLOS
2004
ACM
15 years 11 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
SIGADA
1999
Springer
15 years 10 months ago
Redistribution in distributed Ada
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
Scott James
HICSS
2000
IEEE
208views Biometrics» more  HICSS 2000»
15 years 10 months ago
Transfer Capability Computations in Deregulated Power Systems
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
Mohamed Shaaban, Yixin Ni, Felix F. Wu
IJON
2006
165views more  IJON 2006»
15 years 6 months ago
Design and basic blocks of a neuromorphic VLSI analogue vision system
: In this paper we present a complete neuromorphic image processing system and we report the development of an integrated CMOS low-power circuit to test the feasibility of its diff...
Jordi Cosp, Jordi Madrenas, Daniel Fernánde...