2335 search results - page 273 / 467 » Functional Differentiation of Computer Programs |
147
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
102
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
142
Voted
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
118
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
125
click to vote
WABI
2005
Springer
15 years 7 months ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...