589 search results - page 95 / 118 » Design and Implementation of an SSL Component Based on CBD |
171
click to vote
ICCAD
2003
IEEE
16 years 2 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...
199
click to vote
ECBS
2005
IEEE
15 years 11 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...
189
click to vote
ICAC
2005
IEEE
15 years 11 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...
172
click to vote
MOBIQUITOUS
2008
IEEE
16 years 7 days 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, ...
194
click to vote
ICS
2007
Tsinghua U.
15 years 12 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...