152 search results - page 16 / 31 » A Self-Applicable Partial Evaluator for Term Rewriting Syste... |
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
PADO
2001
Springer
14 years 27 days ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
PPOPP
2009
ACM
14 years 3 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
DESRIST
2009
Springer
14 years 1 months ago
2009
Springer
Against the background of the current financial crisis and an aftermath of increasing regulation, companies enhance and integrate information systems in the areas of risk manageme...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
This paper investigates a class of transform queries proposed by XQuery Update [6]. A transform query is defined in terms of XML update syntax. When posed on an XML tree T, it ret...