Sciweavers

697 search results - page 67 / 140
» On the Theory of Average Case Complexity
Sort
View
CCE
2004
13 years 7 months ago
Mathematical modelling and design of an advanced once-through heat recovery steam generator
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
Marie-Noëlle Dumont, Georges Heyen
TECS
2008
119views more  TECS 2008»
13 years 7 months ago
Fast exploration of bus-based communication architectures at the CCATB abstraction
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
Sudeep Pasricha, Nikil Dutt, Mohamed Ben-Romdhane
WABI
2009
Springer
130views Bioinformatics» more  WABI 2009»
14 years 2 months ago
Linear-Time Protein 3-D Structure Searching with Insertions and Deletions
It becomes more and more important to search for similar structures from molecular 3-D structure databases in the structural biology of the post genomic era. Two molecules are said...
Tetsuo Shibuya, Jesper Jansson, Kunihiko Sadakane
IPPS
2008
IEEE
14 years 2 months ago
A simple power-aware scheduling for multicore systems when running real-time applications
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...
Diana Bautista, Julio Sahuquillo, Houcine Hassan, ...
MEMOCODE
2008
IEEE
14 years 2 months ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot