Sciweavers

549 search results - page 78 / 110
» formats 2010
Sort
View
DAC
2010
ACM
15 years 10 months ago
An efficient algorithm to verify generalized false paths
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
Olivier Coudert
VRML
2010
ACM
15 years 10 months ago
SpiderGL: a JavaScript 3D graphics library for next-generation WWW
Thanks to the WebGL graphics API specification for the JavaScript programming language, the possibility of using the GPU capabilities in a web browser without the need for an ad-...
Marco Di Benedetto, Federico Ponchio, Fabio Ganove...
154
Voted
WIKIS
2010
ACM
15 years 10 months ago
Deep hypertext with embedded revision control implemented in regular expressions
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
Victor S. Grishchenko
FAST
2010
15 years 8 months ago
Evaluating Performance and Energy in File System Server Workloads
Recently, power has emerged as a critical factor in designing components of storage systems, especially for power-hungry data centers. While there is some research into power-awar...
Priya Sehgal, Vasily Tarasov, Erez Zadok
167
Voted
MOBISYS
2010
ACM
15 years 8 months ago
Docx2Go: collaborative editing of fidelity reduced documents on mobile devices
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
Krishna P. N. Puttaswamy, Catherine C. Marshall, V...