Sciweavers

5309 search results - page 800 / 1062
» A high performance Erlang system
Sort
View
ISCAS
2007
IEEE
99views Hardware» more  ISCAS 2007»
16 years 1 months ago
A Parallel Architecture for Hermitian Decoders: Satisfying Resource and Throughput Constraints
— Hermitian Codes offer desirable properties such as large code lengths, good error-correction at high code rates, etc. The main problem in making Hermitian codes practical is to...
Rachit Agarwal, Emanuel M. Popovici, Brendan O'Fly...
NCA
2007
IEEE
16 years 1 months ago
Implementing Atomic Data through Indirect Learning in Dynamic Networks
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
Kishori M. Konwar, Peter M. Musial, Nicolas C. Nic...
AIED
2007
Springer
16 years 27 days ago
The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
Kristy Elizabeth Boyer, Mladen A. Vouk, James C. L...
APN
2007
Springer
16 years 27 days ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
CCS
2007
ACM
16 years 27 days ago
Universally composable and forward-secure RFID authentication and authenticated key exchange
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
Tri Van Le, Mike Burmester, Breno de Medeiros