Sciweavers

7124 search results - page 1253 / 1425
» Programming Languages and Operating Systems
Sort
View
BTW
2007
Springer
133views Database» more  BTW 2007»
15 years 6 months ago
Pathfinder: XQuery Compila-tion Techniques for Relational Database Targets
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
Jens Teubner
COMPSEC
2008
116views more  COMPSEC 2008»
15 years 2 months ago
Enforcing memory policy specifications in reconfigurable hardware
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timo...
120
Voted
EAAI
2007
135views more  EAAI 2007»
15 years 2 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...
107
Voted
SLOGICA
2002
74views more  SLOGICA 2002»
15 years 2 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
225
Voted
VLDB
2007
ACM
145views Database» more  VLDB 2007»
16 years 2 months ago
Executing Stream Joins on the Cell Processor
Low-latency and high-throughput processing are key requirements of data stream management systems (DSMSs). Hence, multi-core processors that provide high aggregate processing capa...
Bugra Gedik, Philip S. Yu, Rajesh Bordawekar
« Prev « First page 1253 / 1425 Last » Next »