Sciweavers

3404 search results - page 383 / 681
» C Programming Tutorial
Sort
View
120
Voted
ECOOP
1997
Springer
15 years 7 months ago
Near Optimal Hierarchical Encoding of Types
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
Andreas Krall, Jan Vitek, R. Nigel Horspool
148
Voted
RTSS
1996
IEEE
15 years 6 months ago
Middleware for Distributed Industrial Real-Time Systems on ATM Networks
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
Ichiro Mizunuma, Chia Shen, Morikazu Takegaki
134
Voted
ASPLOS
1992
ACM
15 years 6 months ago
Design and Evaluation of a Compiler Algorithm for Prefetching
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match today's high-performance processors. While prefet...
Todd C. Mowry, Monica S. Lam, Anoop Gupta
123
Voted
POS
1994
Springer
15 years 6 months ago
Concurrent Shadow Paging in the Flask Architecture
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
David S. Munro, Richard C. H. Connor, Ronald Morri...
130
Voted
POPL
1990
ACM
15 years 6 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi