6274 search results - page 671 / 1255 » Proofs, Programs, Processes |
185
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
190
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
184
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
192
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
183
click to vote
CSMR
2005
IEEE
16 years 24 days ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...