1728 search results - page 266 / 346 » The Size of Power Automata |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
108
click to vote
ESCIENCE
2007
IEEE
15 years 3 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
ECSQARU
2009
Springer
15 years 3 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...
104
click to vote
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a TDMA based multi-channel MAC protocol called TMMAC for Ad Hoc Networks. TMMAC requires only a single half-duplex radio transceiver on each node. In addition t...
133
click to vote
ICCD
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper we propose techniques to dynamically downsize or upsize a cache accompanied by cache set/line shutdown to produce efficient caches. Unlike previous approaches, resiz...