Sciweavers

12272 search results - page 441 / 2455
» Experimental program analysis
Sort
View
WCET
2008
15 years 8 months ago
Towards an Automatic Parametric WCET Analysis
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
Stefan Bygde, Björn Lisper
200
Voted
APBC
2003
138views Bioinformatics» more  APBC 2003»
15 years 8 months ago
A New Approach to Protein Structure and Function Analysis Using Semi-structured Databases
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
William M. Shui, Raymond K. Wong, Stephen C. Graha...
202
Voted
WCET
2003
15 years 8 months ago
Fully Automatic, Parametric Worst-Case Execution Time Analysis
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
Björn Lisper
EWC
2006
86views more  EWC 2006»
15 years 6 months ago
Object-oriented interactive mechanism design and analysis
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
Harry H. Cheng, Dung T. Trang
163
Voted
BMCBI
2006
179views more  BMCBI 2006»
15 years 7 months ago
Accurate and unambiguous tag-to-gene mapping in serial analysis of gene expression
Background: In this study, we present a robust and reliable computational method for tag-togene assignment in serial analysis of gene expression (SAGE). The method relies on curre...
Rodrigo Malig, Cristian Varela, Eduardo Agosin, Fr...