Sciweavers

1830 search results - page 175 / 366
» Functional Programs as Linked Data
Sort
View
ASPLOS
2010
ACM
15 years 10 months ago
COMPASS: a programmable data prefetcher using idle GPU shaders
A traditional fixed-function graphics accelerator has evolved into a programmable general-purpose graphics processing unit over the last few years. These powerful computing cores...
Dong Hyuk Woo, Hsien-Hsin S. Lee
89
Voted
CSB
2005
IEEE
135views Bioinformatics» more  CSB 2005»
15 years 9 months ago
Relating transcription factors, modules of genes and cultivation conditions in Saccharomyces cerevisiae
Usually, the functionality of a module of co-expressed genes is derived from enrichment within the module of a particular gene annotation category. The systematic setup of the che...
Theo A. Knijnenburg, Marcel J. T. Reinders, J. M. ...
136
Voted
APSEC
1999
IEEE
15 years 7 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
119
Voted
LCPC
1991
Springer
15 years 7 months ago
An Executable Representation of Distance and Direction
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...
Richard Johnson, Wei Li, Keshav Pingali
62
Voted
NAR
2006
82views more  NAR 2006»
15 years 3 months ago
The RCSB PDB information portal for structural genomics
10 The RCSB Protein Data Bank (PDB) offers online tools, summary reports and target information related to the worldwide structural genomics initiatives from its portal at http://...
Andrei Kouranov, Lei Xie, Joanna de la Cruz, Li Ch...