1678 search results - page 94 / 336 » An ASM Specification of C |
CONTEXT
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
INFOVIS
1998
IEEE
14 years 2 months ago
1998
IEEE
One very effective method for managing large data sets is aggregation or binning. In this paper we consider two aggregation methods that are tightly coupled with interactive manip...
IWPC
1997
IEEE
14 years 2 months ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...
ISLPED
1996
ACM
14 years 2 months ago
1996
ACM
We compare the frequency-versus-power dissipation performance of two energy-recovery CMOS implementations to that of a conventional, supply-voltage-scaled design. The application ...
POPL
1992
ACM
14 years 2 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...