Sciweavers

3660 search results - page 239 / 732
» Parallel Program Archetypes
Sort
View
170
Voted
ENTCS
2007
137views more  ENTCS 2007»
15 years 6 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
IEEEICCI
2003
IEEE
15 years 12 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»
16 years 1 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
16 years 1 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
16 years 29 days 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