Sciweavers

10707 search results - page 1870 / 2142
» Designing executable abstractions
Sort
View
ICCS
2001
Springer
15 years 11 months ago
Optimizing Sparse Matrix Computations for Register Reuse in SPARSITY
Abstract. Sparse matrix-vector multiplication is an important computational kernel that tends to perform poorly on modern processors, largely because of its high ratio of memory op...
Eun-Jin Im, Katherine A. Yelick
ICN
2001
Springer
15 years 11 months ago
An Evaluation of Shared Multicast Trees with Multiple Active Cores
Abstract. Core-based multicast trees use less router state, but have significant drawbacks when compared to shortest-path trees, namely higher delay and poor fault tolerance. We e...
Daniel Zappala, Aaron Fabbri
IH
2001
Springer
15 years 11 months ago
Keyless Public Watermarking for Intellectual Property Authentication
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
Gang Qu
LACL
2001
Springer
15 years 11 months ago
Combinators for Paraconsistent Attitudes
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
Jørgen Villadsen
MASA
2001
Springer
15 years 11 months ago
Intelligent Agents: The Key Concepts
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, present...
Michael Wooldridge
« Prev « First page 1870 / 2142 Last » Next »