Sciweavers

5863 search results - page 918 / 1173
» Calculating Functional Programs
Sort
View
AGP
1997
IEEE
15 years 10 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
VLDB
1998
ACM
95views Database» more  VLDB 1998»
15 years 10 months ago
The National Medical Knowledge Bank
This paper describes a massively parallel object relational (O/R) database used in an advanced development program to create a comprehensive medical information system called the ...
Warren Sterling
SIGCSE
1997
ACM
95views Education» more  SIGCSE 1997»
15 years 10 months ago
A Web based configuration control system for team projects
In courses involving team programming projects, it is desirable to have team members share files, and establish procedures for developing a configuration. Often, faculty members a...
Ronald Curtis
COMPCON
1996
IEEE
15 years 10 months ago
Broadband Algorithms with the MicroUnity MediaProcessor
An important objective of the MicroUnity mediaprocessor is to allow the design of systems that replace hardwired functionality with software. One of the key design techniques that...
Curtis Abbott, Henry Massalin, Kevin Peterson, Tom...
ICSM
1996
IEEE
15 years 10 months ago
Preprocessors from an Abstract Point of View
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
Jean-Marie Favre