Sciweavers

6274 search results - page 461 / 1255
» Proofs, Programs, Processes
Sort
View
167
Voted
IPPS
2006
IEEE
16 years 27 days ago
An approach to locality-conscious load balancing and transparent memory hierarchy management with a global-address-space paralle
The development of efficient parallel out-of-core applications is often tedious, because of the need to explicitly manage the movement of data between files and data structures ...
Sriram Krishnamoorthy, Ümit V. Çataly&...
WCRE
2006
IEEE
16 years 26 days ago
An Industrial Case Study of Program Artifacts Viewed During Maintenance Tasks
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
Lijie Zou, Michael W. Godfrey
174
Voted
EMMCVPR
2005
Springer
16 years 12 days ago
Linear Programming Matching and Appearance-Adaptive Object Tracking
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
Hao Jiang, Mark S. Drew, Ze-Nian Li
175
Voted
LCPC
2005
Springer
16 years 11 days ago
A Language for the Compact Representation of Multiple Program Versions
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
Sébastien Donadio, James C. Brodman, Thomas...
JELIA
2004
Springer
16 years 7 days ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt