3395 search results - page 494 / 679 » Designs, Disputes and Strategies |
CGO
2006
IEEE
14 years 3 months ago
2006
IEEE
Just-in-time compilers are invoked during application execution and therefore need to ensure fast compilation times. Consequently, runtime compiler designers are averse to impleme...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
DEXAW
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the pre-requisites for the realization of the Semantic Web vision are matching techniques which are capable of handling the open, dynamic and heterogeneous nature of the se...
DFT
2006
IEEE
14 years 3 months ago
2006
IEEE
Dual core architectures are commonly used to establish fault tolerance on the node level. Since comparison is usually performed for the outputs only, no precise diagnostic informa...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract−Several high performance LDPC codes have paritycheck matrices composed of permutation submatrices. We design a parallel-serial architecture to map the decoder of any str...