1051 search results - page 169 / 211 » Toward Team-Oriented Programming |
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
Over the years competence-based approaches in the field of formal and non-formal education are becoming more common and appear to offer the opportunity to develop flexible e-train...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...