Sciweavers

39039 search results - page 71 / 7808
» Implementation of the
Sort
View
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
15 years 11 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
ARITH
2005
IEEE
15 years 11 months ago
High-Radix Implementation of IEEE Floating-Point Addition
We are proposing a micro-architecture for highperformance IEEE floating-point addition that is based on a (non-redundant)high-radix representation of the floatingpoint operands....
Peter-Michael Seidel
ESORICS
2005
Springer
15 years 11 months ago
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
Aslan Askarov, Andrei Sabelfeld
165
Voted
ICA3PP
2005
Springer
15 years 11 months ago
Object-Oriented Design and Implementations of 3G-324M Protocol Stack
Abstract. This paper describes an object-oriented design and efficient implementation of 3G-324M protocol stack for real-time multimedia transmission. In particular, we discuss the...
Weijia Jia, Haohuan Fu, Ji Shen
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 11 months ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten