2302 search results - page 206 / 461 » Testing as Abstraction |
165
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
140
click to vote
HPCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
177
click to vote
ICA3PP
2005
Springer
16 years 4 days ago
2005
Springer
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...
147
click to vote
ICANN
2005
Springer
16 years 4 days ago
2005
Springer
We present a system of differential equations which abstractly models neural dynamics and synaptic plasticity of a cortical macrocolumn. The equations assume inhibitory coupling b...
166
click to vote
ICANN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...