Sciweavers

272 search results - page 12 / 55
» Design and Performance of Asynchronous Method Handling for C...
Sort
View
BMCBI
2010
175views more  BMCBI 2010»
13 years 8 months ago
Towards high performance computing for molecular structure prediction using IBM Cell Broadband Engine - an implementation perspe
Background: RNA structure prediction problem is a computationally complex task, especially with pseudo-knots. The problem is well-studied in existing literature and predominantly ...
S. P. T. Krishnan, Sim Sze Liang, Bharadwaj Veerav...
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
14 years 1 months ago
Enhancing the performance of multi-cycle path analysis in an industrial setting
Abstract— In this paper we enhance the performance of multicycle path analysis in an industrial setting. Industrial designs are, in general, more complicated, but contain more in...
Hiroyuki Higuchi, Yusuke Matsunaga
EMSOFT
2007
Springer
13 years 12 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
ICCAD
2006
IEEE
155views Hardware» more  ICCAD 2006»
14 years 4 months ago
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li...
FSTTCS
2000
Springer
13 years 11 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...