2634 search results - page 82 / 527 » Faster Than Uppaal |
JCC
2006
13 years 8 months ago
2006
: We report the development of a new standard quadrature grid for DFT calculations. Standard Grid 0 (SG-0) is designed to be approximately half as large as, and to provide approxim...
JSAT
2008
13 years 8 months ago
2008
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representati...
IJBC
2007
13 years 8 months ago
2007
In this tutorial, we present optimal Cellular Nonlinear Network (CNN) templates for implementing linearly-separable one-dimensional (1-D) Cellular Automata (CA). From the gallery ...
IJWMC
2007
13 years 8 months ago
2007
Abstract. A new stream cipher, Grain, is proposed. The design targets hardware environments where gate count, power consumption and memory is very limited. It is based on two shift...
AMC
2004
13 years 8 months ago
2004
An experimental computational study to compare the classical primal simplex algorithm and the exterior point algorithms for the transportation problem (TP) is presented. Totally, ...