4814 search results - page 854 / 963 » Combining abstract interpreters |
165
click to vote
ICCS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The efficient use of multicore architectures for sparse matrixvector multiplication (SpMV) is currently an open challenge. One algorithm which makes use of SpMV is the ma...
132
click to vote
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Domain knowledge for web applications is currently being made available as domain ontology with the advent of the semantic web, in which semantics govern relationships am...
168
click to vote
ICIAR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Increasing risks of spoof attacks and other common problems of unimodal biometric systems such as intra-class variations, nonuniversality and noisy data necessitate the u...
134
click to vote
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
147
click to vote
ICUMT
2009
15 years 1 months ago
2009
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...