360 search results - page 28 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
117
click to vote
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
159
click to vote
WAN
1998
Springer
15 years 6 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
156
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
134
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
121
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...