Search Sciweavers | Sciweavers

13784 search results - page 226 / 2757

» On Computing Functions with Uncertainty

click to vote

ISMB
1994

85views Computational Biology» more ISMB 1994»

Protein Design by Optimization of a Sequence-Structure Quality Function

13 years 10 months ago

Download www.aaai.org

Anautomatedprocedurefor protein designbyoptimization of a sequence-structurequalityhasbeendeveloped. Themethodselectsa statistically optimalsequencefor a particularstructure,onthe...

Steven E. Brenner, Alan Berry

claim paper

Read More »

click to vote

DAC
2008
ACM

105views Computer Architecture» more DAC 2008»

FPGA area reduction by multi-output function based sequential resynthesis

14 years 10 months ago

Download www.ee.ucla.edu

Yu Hu, Victor Shih, Rupak Majumdar, Lei He

claim paper

Read More »

click to vote

DAC
2007
ACM

100views Computer Architecture» more DAC 2007»

Functional Verification of SiCortex Multiprocessor System-on-a-Chip

14 years 10 months ago

Download www.veripool.org

Oleg Petlin, Wilson Snyder

claim paper

Read More »

click to vote

DAC
1998
ACM

117views Computer Architecture» more DAC 1998»

Functional Verification of Large ASICs

14 years 10 months ago

Download www.cs.ucr.edu

Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane...

claim paper

Read More »

click to vote

SAC
2010
ACM

199views Applied Computing» more SAC 2010»

Software transactional memory for implicitly parallel functional language

14 years 4 months ago

Download vychodil.inf.upol.cz

During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...

Petr Krajca, Vilém Vychodil

claim paper

Read More »

« Prev « First page 226 / 2757 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers