Sciweavers

3130 search results - page 524 / 626
» Design Correctness of Digital Systems
Sort
View
209
Voted
SIGMOD
2009
ACM
130views Database» more  SIGMOD 2009»
16 years 3 months ago
FlashLogging: exploiting flash devices for synchronous logging performance
Synchronous transactional logging is the central mechanism for ensuring data persistency and recoverability in database systems. Unfortunately, magnetic disks are ill-suited for t...
Shimin Chen
155
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
119
Voted
CSCW
2010
ACM
15 years 10 months ago
Telling the whole story: anticipation, inspiration and reputation in a field deployment of TellTable
We present a field study of TellTable, a new storytelling system designed to support creativity and collaboration amongst children. The application was deployed on a multitouch in...
Xiang Cao, Siân E. Lindley, John Helmes, Abi...
127
Voted
CASES
2009
ACM
15 years 10 months ago
Tight WCRT analysis of synchronous C programs
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
Partha S. Roop, Sidharta Andalam, Reinhard von Han...
166
Voted
MOBICOM
2009
ACM
15 years 10 months ago
Frequency-aware rate adaptation and MAC protocols
There has been burgeoning interest in wireless technologies that can use wider frequency spectrum. Technology advances, such as 802.11n and ultra-wideband (UWB), are pushing towar...
Hariharan Rahul, Farinaz Edalat, Dina Katabi, Char...