Sciweavers

2278 search results - page 235 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
BMCBI
2005
143views more  BMCBI 2005»
15 years 6 months ago
Evaluation of BioCreAtIvE assessment of task 2
Background: Molecular Biology accumulated substantial amounts of data concerning functions of genes and proteins. Information relating to functional descriptions is generally extr...
Christian Blaschke, Eduardo Andrés Le&oacut...
DASIP
2010
15 years 1 months ago
Automated generation of an efficient MPEG-4 Reconfigurable Video Coding decoder implementation
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
Ruirui Gu, Jonathan Piat, Mickaël Raulet, J&o...
ECOOPW
1999
Springer
15 years 10 months ago
EPOS: An Object-Oriented Operating System
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
Antônio Augusto Fröhlich, Wolfgang Schr...
BMCBI
2011
14 years 10 months ago
A fast and accurate method to detect allelic genomic imbalances underlying mosaic rearrangements using SNP array data
Background: Mosaicism for copy number and copy neutral chromosomal rearrangements has been recently identified as a relatively common source of genetic variation in the normal pop...
Juan R. González, Benjamin Rodriguez-Santia...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 12 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...