1423 search results - page 105 / 285 » Quantum logic as a dynamic logic |
170
click to vote
PPDP
2007
Springer
16 years 15 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
160
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
168
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
160
click to vote
PATMOS
2005
Springer
15 years 12 months ago
2005
Springer
The time taken for a CMOS logic gate output to change after one or more inputs have changed is called the output delay of the gate. A conventional multi-input CMOS gate is designed...
180
click to vote
TVLSI
2008
15 years 6 months ago
2008
This paper describes Glitchless, a circuit-level technique for reducing power in FPGAs by eliminating unnecessary logic transitions called glitches. This is done by adding program...