Sciweavers

19798 search results - page 192 / 3960
» Is Structural Subtyping Useful
Sort
View
HCI
2009
13 years 8 months ago
An Empirical Analysis of Personal Digital Document Structures
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
Sarah Henderson, Ananth Srinivasan
OSDI
1996
ACM
13 years 12 months ago
The Synergy Between Non-Blocking Synchronization and Operating System Structure
Non-blocking synchronization has significant advantages over blocking synchronization: however, it has not been used to a significant degree in practice. We designed and implement...
Michael Greenwald, David R. Cheriton
BMCBI
2005
306views more  BMCBI 2005»
13 years 10 months ago
A method for aligning RNA secondary structures and its application to RNA motif detection
Background: Alignment of RNA secondary structures is important in studying functional RNA motifs. In recent years, much progress has been made in RNA motif finding and structure a...
Jianghui Liu, Jason Tsong-Li Wang, Jun Hu, Bin Tia...
FMSD
2002
114views more  FMSD 2002»
13 years 10 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
CNSR
2011
IEEE
320views Communications» more  CNSR 2011»
13 years 2 months ago
A Structural Analysis of Network Delay
—Network delay is a crucial metric for evaluating the state of the network. We present in this paper a structural analysis of network delay, based on delay measurements of a back...
Atef Abdelkefi, Yuming Jiang