6274 search results - page 1044 / 1255 » Proofs, Programs, Processes |
120
click to vote
ENTCS
2007
15 years 21 days ago
2007
Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost rel...
116
click to vote
TCAD
2008
15 years 19 days ago
2008
Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the mos...
108
Voted
IOR
2007
15 years 19 days ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
BMCBI
2005
15 years 19 days ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...
109
click to vote
BMCBI
2005
15 years 19 days ago
2005
Background: Single Nucleotide Polymorphism (SNP) genotyping is a major activity in biomedical research. The Taqman technology is one of the most commonly used approaches. It produ...