1452 search results - page 120 / 291 » Algorithmic Analysis of Array-Accessing Programs |
138
click to vote
HVC
2005
Springer
15 years 6 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
100
Voted
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
101
click to vote
FCCM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
104
click to vote
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
105
click to vote
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...