Sciweavers

247 search results - page 35 / 50
» Transfer Function Based Approaches to Array Calibration
Sort
View
BMCBI
2004
91views more  BMCBI 2004»
14 years 11 months ago
SIGI: score-based identification of genomic islands
Background: Genomic islands can be observed in many microbial genomes. These stretches of DNA have a conspicuous composition with regard to sequence or encoded functions. Genomic ...
Rainer Merkl
ESOP
2001
Springer
15 years 4 months ago
Typestate Checking of Machine Code
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
Zhichen Xu, Thomas W. Reps, Barton P. Miller
ECSQARU
2001
Springer
15 years 4 months ago
New Semantics for Quantitative Possibility Theory
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
Didier Dubois, Henri Prade, Philippe Smets
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 4 months ago
CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
Bharat P. Dav
PLDI
2009
ACM
16 years 11 days ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...