536 search results - page 79 / 108 » A computer verified, monadic, functional implementation of t... |
ICS
1989
Tsinghua U.
15 years 3 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
140
click to vote
CVPR
2010
IEEE
14 years 9 months ago
2010
IEEE
We investigate how to discover all common visual patterns within two sets of feature points. Common visual patterns generally share similar local features as well as similar spati...
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes the development and use of an extensible service provider toolkit (ESP) for an Earth Science service-oriented architecture (SOA). Grid-enabled Earth Science a...
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
104
Voted
GCC
2003
Springer
15 years 5 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...