1043 search results - page 174 / 209 » Using Function Generalization to Design a Cosequential Proce... |
155
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
99
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...
107
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
111
click to vote
TWC
2008
15 years 2 months ago
2008
Abstract--In a cellular distributed antenna system (DAS), distributed antenna elements (AEs) are connected to the base station via an offline dedicated link, e.g. fiber optics or l...
140
click to vote
BMCBI
2010
2010
Identifying common prognostic factors in genomic cancer studies: A novel index for censored outcomes
15 years 2 months ago
Background: With the growing number of public repositories for high-throughput genomic data, it is of great interest to combine the results produced by independent research groups...