1902 search results - page 369 / 381 » Differential Dynamic Logics |
EDBT
2009
ACM
14 years 6 days ago
2009
ACM
Traditional bitmap indexes are utilized as a special type of primary or clustered indexes where the queries are answered by performing fast logical operations supported by hardwar...
EUROGP
2009
Springer
14 years 5 days ago
2009
Springer
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
GI
2009
Springer
14 years 5 days ago
2009
Springer
: The era of ubiquitous and pervasive computing technology opens the world for new pervasive applications and services within the physical surroundings. Often users find themselves...
HIPEAC
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. Technological advances and increasingly complex and dynamic application behavior argue for revisiting mechanisms that adapt logical cache block size to application charac...
ECRTS
2000
IEEE
13 years 12 months ago
2000
IEEE
Internal clock synchronization has been investigated, or employed, for quite a number of years, under the requirement of good upper bounds for the deviation, or accuracy, between ...