4880 search results - page 969 / 976 » Manuals as Structured Programs |
111
click to vote
IEEEHPCS
2010
15 years 12 days ago
2010
Abstract—GPUs have recently been used to accelerate dataparallel applications for they provide easier programmability and increased generality while maintaining the tremendous me...
JAIR
2010
15 years 10 days ago
2010
Because an agent’s resources dictate what actions it can possibly take, it should plan which resources it holds over time carefully, considering its inherent limitations (such a...
116
Voted
MICS
2010
15 years 9 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
121
Voted
OR
2010
Springer
15 years 9 days ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
131
click to vote
PVLDB
2010
15 years 9 days ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...