1768 search results - page 203 / 354 » A Logic for Algebraic Effects |
176
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Run-time reconfigurable logic is a very attractive alterative in the design of SoC. However, configuration overhead can largely decrease the system performance. In this work, we p...
212
click to vote
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
176
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
164
click to vote
TIME
2005
IEEE
16 years 21 days ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
176
click to vote
FSKD
2005
Springer
16 years 19 days ago
2005
Springer
Conventional virtual coupling is designed mainly for stabilizing the virtual environment (VE) and it thus may have poor performances. This paper proposes a novel adaptive virtual c...