2000 search results - page 265 / 400 » Program Transformation and Proof Transformation |
204
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
214
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
134
click to vote
STOC
2001
ACM
16 years 4 months ago
2001
ACM
One of the most intriguing facts about communication using quantum states is that these states cannot be used to transmit more classical bits than the number of qubits used, yet i...
137
Voted
ICCAD
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
149
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...