Sciweavers

5457 search results - page 811 / 1092
» Software Component Independence
Sort
View
BIRTHDAY
2005
Springer
15 years 8 months ago
Ambient Intelligence: Towards Smart Appliance Ensembles
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
José L. Encarnação, Thomas Ki...
DAGM
2006
Springer
15 years 8 months ago
Low-Cost Laser Range Scanner and Fast Surface Registration Approach
In the last twenty years many approaches for contact-free measurement techniques for object surfaces and approaches for 3d object reconstruction have been proposed; but often they ...
Simon Winkelbach, Sven Molkenstruck, Friedrich M. ...
192
Voted
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
FPL
2008
Springer
120views Hardware» more  FPL 2008»
15 years 8 months ago
An FPGA-based implementation of the MINRES algorithm
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
David Boland, George A. Constantinides
FPL
2008
Springer
92views Hardware» more  FPL 2008»
15 years 8 months ago
Parallel hardware objects for dynamically partial reconfiguration
Many of today's software-to-hardware compiler projects try to find dataflow parallelism in a sequential program description and use it to generate parallel running hardware c...
Norbert Abel, Frederik Grüll, Nick Meier, And...