589 search results - page 95 / 118 » Design and Implementation of an SSL Component Based on CBD |
109
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
120
click to vote
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
128
click to vote
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Grid environments enable users to share non-dedicated resources that lack performance guarantees. This paper describes the design of application-centric middleware components to a...
MOBIQUITOUS
2008
IEEE
15 years 6 months ago
2008
IEEE
The Open Source mobility middleware developed in the Fuego Core project provides a stack for efficient XML processing on limited devices. Its components are a persistent map API, ...
119
click to vote
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...