1837 search results - page 272 / 368 » Abstraction and the C Machine Model |
SAS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
LCN
1996
IEEE
14 years 1 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
ECHT
1994
14 years 1 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
HPCN
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
MM
1993
ACM
14 years 1 months ago
1993
ACM
Abstract–Video-on-demand represents a key demonstrative application for enabling multimedia technology in communication, database, and interface research. This application requir...