564 search results - page 103 / 113 » Dependent types and program equivalence |
JTRES
2010
ACM
13 years 8 months ago
2010
ACM
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore...
TPDS
2002
13 years 7 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
EMNLP
2010
13 years 5 months ago
2010
The task of selecting information and rendering it appropriately appears in multiple contexts in summarization. In this paper we present a model that simultaneously optimizes sele...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
CSMR
2002
IEEE
14 years 20 days ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...