1415 search results - page 63 / 283 » List making in the home |
173
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Quality of service (QoS) is becoming an attractive feature for high-performance networks and parallel machines because it could allow a more efficient use of resources. Deadline-...
142
click to vote
TACAS
2007
Springer
16 years 9 days 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...
156
click to vote
CCGRID
2006
IEEE
16 years 8 days ago
2006
IEEE
Scalable atomic and parallel access to noncontiguous regions of a file is essential to exploit high performance I/O as required by large-scale applications. Parallel I/O framewor...
150
click to vote
HICSS
2006
IEEE
16 years 7 days ago
2006
IEEE
Bibliography—the collection, description, and arrangement of information items—is a vibrant activity and a popular form of expression on the internet. Yet, fashionable forms o...
153
click to vote
VL
2005
IEEE
15 years 11 months ago
2005
IEEE
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...