Sciweavers

46 search results - page 3 / 10
» Cellular Lines: An Introduction
Sort
View
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
14 years 1 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
JUCS
2007
208views more  JUCS 2007»
13 years 7 months ago
The Architecture and Circuital Implementation Scheme of a New Cell Neural Network for Analog Signal Processing
: It is a difficult problem that using cellular neural network to make up of analog signal processing circuit. This paper presented the architecture of new cellular neural network ...
Youren Wang, Zhiqiang Zhang, Jiang Cui
BC
2002
72views more  BC 2002»
13 years 7 months ago
Spatiotemporal specificity of synaptic plasticity: cellular rules and mechanisms
Abstract. Recent experimental results on spike-timingdependent plasticity (STDP) and heterosynaptic interaction in various systems have revealed new temporal and spatial properties...
Guo-Qiang Bi
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
14 years 26 days ago
Area Fill Generation With Inherent Data Volume Reduction
Control of variability and performance in the back end of the VLSI manufacturing line has become extremely difficult with the introduction of new materials such as copper and low...
Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexande...
CIE
2005
Springer
14 years 1 months ago
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
Jérôme Durand-Lose