9626 search results - page 1389 / 1926 » Invariant Based Programming |
222
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
160
Voted
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Computer vision is a challenging data intensive application. Currently, superscalar architectures dominate the processor marketplace. As more transistors become available...
232
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
191
click to vote
PARELEC
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
178
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...