7167 search results - page 715 / 1434 » Answer Set Programming |
237
click to vote
GRID
2006
Springer
15 years 7 months ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...
206
click to vote
FUIN
2007
15 years 7 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
209
click to vote
PC
2006
15 years 7 months ago
2006
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
231
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
203
click to vote
JSSPP
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes and evaluates APIs for Inter-Core Time Aggregation Scheduler (IAS), which is a kernel-level thread scheduler to enhance performances of multi-threaded programs ...