3713 search results - page 534 / 743 » Constructing a Calculus of Programs |
128
click to vote
FLAIRS
2006
15 years 4 months ago
2006
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
148
click to vote
WCE
2007
15 years 4 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
264
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
265
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
240
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...