947 search results - page 187 / 190 » Declarative Programming in Prolog |
100
click to vote
DOCENG
2006
ACM
15 years 3 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
MICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
As more data value speculation mechanisms are being proposed to speed-up processors, there is growing pressure on the critical processor structures that must buffer the state of t...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...