1448 search results - page 214 / 290 » From Requirements to Code Revisited |
ISAAC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract We study an information-theoretic variant of the graph coloring problem in which the objective function to minimize is the entropy of the coloring. The minimum entropy of ...
PPAM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...
ACMSE
2004
ACM
14 years 3 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
ASPLOS
2004
ACM
14 years 3 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
IUI
2004
ACM
14 years 3 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...