Sciweavers

2335 search results - page 335 / 467
» Functional Differentiation of Computer Programs
Sort
View
ICVS
2003
Springer
15 years 7 months ago
Monkeys -- A Software Architecture for ViRoom -- Low-Cost Multicamera System
Abstract. This paper presents a software architecture for a softwaresynchronized multicamera setup. The software allows consistent multiimage acquisition, image processing and deci...
Petr Doubek, Tomás Svoboda, Luc J. Van Gool
ISSRE
2002
IEEE
15 years 7 months ago
A Flexible Generator Architecture for Improving Software Dependability
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
Christof Fetzer, Zhen Xiao
LCTRTS
2001
Springer
15 years 7 months ago
ILP-based Instruction Scheduling for IA-64
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
Daniel Kästner, Sebastian Winkel
ICPR
2000
IEEE
15 years 7 months ago
Transparent Parallel Image Processing by way of a Familiar Sequential API
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
Frank J. Seinstra, Dennis Koelma
FLOPS
1999
Springer
15 years 6 months ago
Typed Higher-Order Narrowing without Higher-Order Strategies
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
Sergio Antoy, Andrew P. Tolmach