21342 search results - page 3764 / 4269 » A Structured Language Model |
149
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
164
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
141
Voted
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
185
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
132
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...