Sciweavers

212 search results - page 43 / 43
» Supporting fault tolerance in a data-intensive computing mid...
Sort
View
ICALT
2005
IEEE
15 years 3 months ago
ActiveTutor
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
Jean Pierre Fournier
EMSOFT
2011
Springer
13 years 10 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger