Sciweavers

13784 search results - page 226 / 2757
» On Computing Functions with Uncertainty
Sort
View
ISMB
1994
15 years 4 months ago
Protein Design by Optimization of a Sequence-Structure Quality Function
Anautomatedprocedurefor protein designbyoptimization of a sequence-structurequalityhasbeendeveloped. Themethodselectsa statistically optimalsequencefor a particularstructure,onthe...
Steven E. Brenner, Alan Berry
DAC
1998
ACM
16 years 4 months ago
Functional Verification of Large ASICs
Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane...
SAC
2010
ACM
15 years 10 months ago
Software transactional memory for implicitly parallel functional language
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