Sciweavers

4440 search results - page 813 / 888
» The space of design
Sort
View
LCR
2000
Springer
129views System Software» more  LCR 2000»
15 years 10 months ago
Run-Time Support for Distributed Sharing in Typed Languages
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wall...
PLDI
2010
ACM
16 years 3 months ago
Pacer: Proportional Detection of Data Races
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
Michael D. Bond, Katherine E. Coons, Kathryn S. Mc...
WALCOM
2010
IEEE
230views Algorithms» more  WALCOM 2010»
16 years 1 months ago
Comparing RNA Structures with Biologically Relevant Operations Cannot Be Done without Strong Combinatorial Restrictions
Abstract. Arc-annotated sequences are useful for representing structural information of RNAs and have been extensively used for comparing RNA structures in both terms of sequence a...
Guillaume Blin, Sylvie Hamel, Stéphane Vial...
PLDI
2003
ACM
15 years 11 months ago
Meta optimization: improving compiler heuristics with machine learning
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
Mark Stephenson, Saman P. Amarasinghe, Martin C. M...
BMCBI
2010
111views more  BMCBI 2010»
15 years 6 months ago
Protein sequences classification by means of feature extraction with substitution matrices
Background: This paper deals with the preprocessing of protein sequences for supervised classification. Motif extraction is one way to address that task. It has been largely used ...
Rabie Saidi, Mondher Maddouri, Engelbert Mephu Ngu...