Sciweavers

5128 search results - page 755 / 1026
» When Abstraction Fails
Sort
View
HIPEAC
2009
Springer
15 years 10 months ago
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
Lee W. Howes, Anton Lokhmotov, Alastair F. Donalds...
ICDT
2007
ACM
118views Database» more  ICDT 2007»
15 years 10 months ago
Approximate Data Exchange
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
Michel de Rougemont, Adrien Vieilleribière
ACIVS
2006
Springer
15 years 10 months ago
Adaptative Road Lanes Detection and Classification
Abstract. This paper presents a Road Detection and Classification algorithm for Driver Assistance Systems (DAS), which tracks several road lanes and identifies the type of lane bou...
Juan Manuel Collado, Cristina Hilario, Arturo de l...
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
15 years 10 months ago
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Fur...
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 10 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...