1452 search results - page 210 / 291 » Algorithmic Analysis of Array-Accessing Programs |
99
Voted
FCCM
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
91
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
114
Voted
DCOSS
2005
Springer
15 years 6 months ago
2005
Springer
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...