PACT
2005
Springer
14 years 5 months ago
2005
Springer
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Experiments of neural network training procedure parallelization are conducted. Several styles of parallelization are described and compared, estimations of neural networ...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of th...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
This paper presents a parallel version for the Propagation Algorithm which belongs to the region growing family of algorithms. The main goal of our implementation is to decrease de...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
