Sciweavers

503 search results - page 68 / 101
» If not now, when
Sort
View
BMCBI
2006
112views more  BMCBI 2006»
13 years 9 months ago
Distill: a suite of web servers for the prediction of one-, two- and three-dimensional structural features of proteins
Background: We describe Distill, a suite of servers for the prediction of protein structural features: secondary structure; relative solvent accessibility; contact density; backbo...
Davide Baù, Alberto J. M. Martin, Catherine...
TLCA
2009
Springer
14 years 4 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
ISCA
2007
IEEE
90views Hardware» more  ISCA 2007»
14 years 4 months ago
Transparent control independence (TCI)
AL-ZAWAWI, AHMED SAMI. Transparent Control Independence (TCI). (Under the direction of Dr. Eric Rotenberg). Superscalar architectures have been proposed that exploit control indep...
Ahmed S. Al-Zawawi, Vimal K. Reddy, Eric Rotenberg...
WMRD
1990
14 years 1 months ago
Replication in Ficus Distributed File Systems
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
Gerald J. Popek, Richard G. Guy, Thomas W. Page Jr...
COLT
2007
Springer
14 years 3 months ago
Resource-Bounded Information Gathering for Correlation Clustering
We present a new class of problems, called resource-bounded information gathering for correlation clustering. Our goal is to perform correlation clustering under circumstances in w...
Pallika Kanani, Andrew McCallum