5904 search results - page 1126 / 1181 » Requirements for a Composition Language |
117
click to vote
EUROSYS
2008
ACM
16 years 12 days ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
122
click to vote
EUROSYS
2007
ACM
16 years 12 days ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
127
click to vote
ALT
2004
Springer
16 years 8 days ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
125
Voted
ICCAD
2004
IEEE
16 years 7 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
128
Voted
SOSP
2003
ACM
16 years 6 days ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...