Sciweavers

1710 search results - page 2 / 342
» High-Level Programs and Program Conditions
Sort
View
145
Voted
IWOMP
2009
Springer
16 years 10 days ago
Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore
Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...
131
Voted
ECOOP
1998
Springer
15 years 10 months ago
Experiences Developing a Virtual Shared Memory System Using High-Level Object Paradigms
Jörg Cordsen, Jörg Nolte, Wolfgang Schr&...
DSL
2009
15 years 3 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
152
Voted
AAAI
2000
15 years 7 months ago
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
Craig Boutilier, Raymond Reiter, Mikhail Soutchans...