37 search results - page 8 / 8 » Splitting a Logic Program Revisited |
126
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
122
click to vote
SIGCOMM
2010
ACM
15 years 19 days ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...