6054 search results - page 943 / 1211 » Implementation of Andorra-based Languages |
170
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
157
click to vote
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
136
click to vote
ASPLOS
1987
ACM
15 years 8 months ago
1987
ACM
One potentialdisadvantage of a machine with a reduced instruction. set is that object programs may be substantially larger than those for a machine with a richer, more complex ins...
158
click to vote
ASPLOS
1987
ACM
15 years 8 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
156
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...