Sciweavers

3733 search results - page 519 / 747
» Performance Evaluation of an Operating System Transaction Ma...
Sort
View
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
15 years 10 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
114
Voted
WWW
2005
ACM
16 years 2 months ago
TJFast: effective processing of XML twig pattern matching
Finding all the occurrences of a twig pattern in an XML database is a core operation for efficient evaluation of XML queries. A number of algorithms have been proposed to process ...
Jiaheng Lu, Ting Chen, Tok Wang Ling
90
Voted
MOBICOM
2004
ACM
15 years 7 months ago
Characterizing flows in large wireless data networks
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
Xiaoqiao Meng, Starsky H. Y. Wong, Yuan Yuan, Song...
ISCA
2003
IEEE
168views Hardware» more  ISCA 2003»
15 years 7 months ago
Temperature-Aware Microarchitecture
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
Kevin Skadron, Mircea R. Stan, Wei Huang, Sivakuma...
ICDIM
2006
IEEE
15 years 8 months ago
A Framework for the Encoding of Multilayered Documents
Electronic publishing of material digitized using imaging and OCR calls for a special delivery format capable of reconstructing original documents in a well-usable electronic form...
Youssef Eldakar, Noha Adly, Magdy Nagi