1452 search results - page 95 / 291 » Algorithmic Analysis of Array-Accessing Programs |
115
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
CMMR
2007
Springer
15 years 4 months ago
2007
Springer
We describe a tool for real-time musical analysis based on a measure of roughness, the principal element of sensory dissonance. While most historical musical analysis is based on t...
105
Voted
RTSS
1998
IEEE
15 years 4 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
147
click to vote
WIESS
2000
15 years 1 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
109
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...