Sciweavers

2468 search results - page 221 / 494
» Aggregation operators 2003
Sort
View
ITC
2003
IEEE
170views Hardware» more  ITC 2003»
14 years 4 months ago
Double-Tree Scan: A Novel Low-Power Scan-Path Architecture
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...
Bhargab B. Bhattacharya, Sharad C. Seth, Sheng Zha...
LICS
2003
IEEE
14 years 4 months ago
An NP Decision Procedure for Protocol Insecurity with XOR
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
Yannick Chevalier, Ralf Küsters, Michaël...
PDP
2003
IEEE
14 years 4 months ago
A multi-platform programming interface for protocol development
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...
Carlos Miguel Tavares Calafate, Pietro Manzoni
SAINT
2003
IEEE
14 years 4 months ago
IPv6 Initiatives Within the European National Research and Education Networks (NRENs)
In this paper we present an overview of the IPv6 activities of European National Research and Education Networks, both within the individual national programmes and in joint studi...
Tim Chown
SRDS
2003
IEEE
14 years 4 months ago
Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers
This paper presents fault-tolerant simulations of a single-writer multi-reader regular register in storage systems. One simulation tolerates fail-stop failures of storage servers ...
Hagit Attiya, Amir Bar-Or