Sciweavers

7092 search results - page 507 / 1419
» Parallelizing constraint programs
Sort
View
IEEEICCI
2003
IEEE
15 years 9 months ago
Analogy of Incremental Program Development and Constructivist Learning
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
Václav Rajlich, Shaochun Xu
DATE
2008
IEEE
143views Hardware» more  DATE 2008»
15 years 10 months ago
Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne
IPPS
2008
IEEE
15 years 10 months ago
Improving software reliability and productivity via mining program source code
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kun...
IPPS
2007
IEEE
15 years 10 months ago
A Pretty Flexible API for Generic Peer-to-Peer Programming
NEBLO is a library and runtime system based on a structured overlay network. The API presented by NEBLO offers simple primitives and powerful mechanisms for programming generic p...
Giuseppe Ciaccio
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 10 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick