6149 search results - page 362 / 1230 » Revealing the programming process |
219
click to vote
LICS
1993
IEEE
15 years 11 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
196
click to vote
MICRO
1994
IEEE
15 years 11 months ago
1994
IEEE
Numerical applications frequently contain nested loop structures that process large arrays of data. The execution of these loop structures often produces memory preference pattern...
195
click to vote
NAACL
2001
15 years 8 months ago
2001
Developing dialogue systems is a complex process. In particular, designing efficient dialogue management strategies is often difficult as there are no precise guidelines to develo...
161
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
193
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Approximate policy iteration methods based on temporal differences are popular in practice, and have been tested extensively, dating to the early nineties, but the associated conve...