13618 search results - page 317 / 2724 » The Newton Operating System |
209
click to vote
IDEAS
2003
IEEE
16 years 1 days ago
2003
IEEE
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...
186
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
165
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a connection handoff interface between the operating system and the network interface. Using this interface, the operating system can offload a subset of TCP c...
218
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
203
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...