3134 search results - page 334 / 627 » Computing full disjunctions |
107
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
116
click to vote
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
137
Voted
DEXA
2009
Springer
15 years 7 months ago
2009
Springer
Recently, flash memory is emerging as the storage device. With price sliding fast, the cost per capacity is approaching to that of SATA disk drives. So far flash memory has been ...
126
Voted
IMA
2009
Springer
15 years 7 months ago
2009
Springer
Cache timing attacks are a class of side-channel attacks that is applicable against certain software implementations. They have generated significant interest when demonstrated ag...
96
Voted
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Flash disks have been an emerging secondary storage media. In particular, there have been portable devices, multimedia players and laptop computers that are configured ...