2520 search results - page 199 / 504 » Model-checking behavioral programs |
165
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
155
click to vote
JAPLL
2007
15 years 6 months ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
178
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
183
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
171
click to vote
IEEEPACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance ...