Sciweavers

298 search results - page 37 / 60
» Abstract Models of Transfinite Reductions
Sort
View
79
Voted
ARC
2007
Springer
140views Hardware» more  ARC 2007»
15 years 3 months ago
Reconfigurable Computing for Accelerating Protein Folding Simulations
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...
Nilton B. Armstrong, Heitor S. Lopes, Carlos R. Er...
DAC
1995
ACM
15 years 3 months ago
Simultaneous Gate and Interconnect Sizing for Circuit-Level Delay Optimization
Abstract—With delays due to the physical interconnect dominating the overall logic path delays, circuit-level delay optimization must take interconnect effects into account. Inst...
Noel Menezes, Satyamurthy Pullela, Lawrence T. Pil...
TLCA
1995
Springer
15 years 3 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
83
Voted
ECAI
2008
Springer
15 years 1 months ago
Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection
Abstract. Ensemble selection deals with the reduction of an ensemble of predictive models in order to improve its efficiency and predictive performance. A number of ensemble select...
Ioannis Partalas, Grigorios Tsoumakas, Ioannis P. ...
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 10 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen