589 search results - page 81 / 118 » Design and Implementation of an SSL Component Based on CBD |
125
click to vote
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
In main-memory databases, the number of processor cache misses has a critical impact on the performance of the system. Cacheconscious indices are designed to improve performance b...
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
105
click to vote
SAINT
2005
IEEE
15 years 5 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
103
click to vote
ICCAD
1993
IEEE
15 years 4 months ago
1993
IEEE
Circuit simulation is one of the most computationally expensive tasks in circuit design and optimization. Detailed simulation at the level of precision of SPICE is usually perform...
105
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...