155 search results - page 22 / 31 » Symplectic Alternating Algebras |
DAC
2006
ACM
14 years 8 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
DMSN
2009
ACM
14 years 2 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...