Sciweavers

1938 search results - page 203 / 388
» Dependable Software
Sort
View
ERSA
2006
76views Hardware» more  ERSA 2006»
13 years 10 months ago
Logic Synthesis and Place-and-Route Environment for ORGAs
Abstract-- We have continued development of Optically Reconfigurable Gate Arrays (ORGAs) to realize larger virtual gate count VLSIs than currently available VLSIs. The grain and st...
Minoru Watanabe, Fuminori Kobayashi
PDPTA
2000
13 years 10 months ago
On Using the UML to Describe the MASC Model of Parallel Computation
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...
Michael Scherger, Johnnie Potter, Jerry W. Baker
IJCAI
1993
13 years 10 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
BMCBI
2004
97views more  BMCBI 2004»
13 years 9 months ago
Calibration and assessment of channel-specific biases in microarray data with extended dynamical range
Background: Non-linearities in observed log-ratios of gene expressions, also known as intensity dependent log-ratios, can often be accounted for by global biases in the two channe...
Henrik Bengtsson, Göran Jönsson, Johan V...
ISSRE
2006
IEEE
14 years 3 months ago
Memoized Forward Computation of Dynamic Slices
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
Wes Masri, Nagi Nahas, Andy Podgurski