Sciweavers

1855 search results - page 51 / 371
» Composing model programs for analysis
Sort
View
121
Voted
DAGSTUHL
2006
15 years 3 months ago
Static Analysis of a Model of the LDL Degradation Pathway
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...
CASES
2005
ACM
15 years 4 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
RTS
2006
129views more  RTS 2006»
15 years 2 months ago
Modeling out-of-order processors for WCET analysis
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
115
Voted
BMCBI
2004
127views more  BMCBI 2004»
15 years 2 months ago
MolTalk - a programming library for protein structures and structure analysis
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
Alexander V. Diemand, Holger Scheib
ICDAR
2003
IEEE
15 years 7 months ago
A Multiclass Classification Method Based on Multiple Pairwise Classifiers
In this paper, a new method of composing a multiclass classifier using pairwise classifiers is proposed. A “Resemblance Model” is exploited to calculate a posteriori probabili...
Tomoyuki Hamamura, Hiroyuki Mizutani, Bunpei Irie