3836 search results - page 51 / 768 » Optimizing the Use of High Performance Software Libraries |
116
click to vote
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
COMPSEC
2010
14 years 10 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
118
click to vote
WEBNET
1997
15 years 3 months ago
1997
: We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhap...
122
click to vote
GECCO
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
106
click to vote
ARCS
2004
Springer
15 years 7 months ago
2004
Springer
: Normally the SISCI interface provides a Distributed Shared Memory (DSM) abstraction using the Scalable Coherent Interface (SCI). This paper describes and discusses the design and...