4940 search results - page 515 / 988 » On the Complexity of Universal Programs |
153
click to vote
IPPS
2008
IEEE
16 years 1 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...
182
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
171
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
171
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...
140
click to vote
ASPLOS
2006
ACM
16 years 26 days ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...