Sciweavers

256 search results - page 36 / 52
» Games are up for DVFS
Sort
View
ESA
2009
Springer
107views Algorithms» more  ESA 2009»
15 years 8 months ago
Disproof of the Neighborhood Conjecture with Implications to SAT
We study a special class of binary trees. Our results have implications on Maker/Breaker games and SAT: We disprove a conjecture of Beck on positional games and construct an unsati...
Heidi Gebauer
108
Voted
PVLDB
2010
164views more  PVLDB 2010»
15 years 9 days ago
FlashStore: High Throughput Persistent Key-Value Store
We present FlashStore, a high throughput persistent keyvalue store, that uses flash memory as a non-volatile cache between RAM and hard disk. FlashStore is designed to store the ...
Biplob Debnath, Sudipta Sengupta, Jin Li
97
Voted
WWW
2004
ACM
16 years 2 months ago
Event synchronization for interactive cyberdrama generation on the web: a distributed approach
The digital generation of a story in which users have influence over the narrative is emerging as an exciting example of computer-based interactive entertainment. Interactive stor...
Stefano Ferretti, Marco Roccetti
ICFP
2009
ACM
16 years 2 months ago
A functional I/O system or, fun for freshman kids
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
Matthias Felleisen, Robert Bruce Findler, Matthew ...
WADS
2009
Springer
245views Algorithms» more  WADS 2009»
15 years 8 months ago
Online Square Packing
We analyze the problem of packing squares in an online fashion: Given an semi-infinite strip of width 1 and an unknown sequence of squares with side lengths in [0, 1] that arrive...
Sándor P. Fekete, Tom Kamphans, Nils Schwee...