Sciweavers

801 search results - page 101 / 161
» Implementation and Use of Transactional Memory with Dynamic ...
Sort
View
139
Voted
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
15 years 10 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
147
Voted
ISPASS
2006
IEEE
15 years 9 months ago
Improved stride prefetching using extrinsic stream characteristics
Stride-based prefetching mechanisms exploit regular streams of memory accesses to hide memory latency. While these mechanisms are effective, they can be improved by studying the p...
Hassan Al-Sukhni, James Holt, Daniel A. Connors
144
Voted
ICRA
1998
IEEE
142views Robotics» more  ICRA 1998»
15 years 8 months ago
Lagrangian Relaxation Neural Networks for Job Shop Scheduling
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...
Peter B. Luh, Xing Zhao, Yajun Wang
132
Voted
HPDC
1998
IEEE
15 years 8 months ago
Efficient Coupling of Parallel Applications Using PAWS
PAWS (Parallel Application WorkSpace) is a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller co...
Peter H. Beckman, Patricia K. Fasel, William F. Hu...
123
Voted
IPPS
2005
IEEE
15 years 9 months ago
Using Message-Driven Objects to Mask Latency in Grid Computing Applications
One of the attractive features of Grid computing is that resources in geographically distant places can be mobilized to meet computational needs as they arise. A particularly chal...
Gregory A. Koenig, Laxmikant V. Kalé