Sciweavers

1188 search results - page 71 / 238
» Generating Connectives
Sort
View
CIE
2008
Springer
15 years 8 months ago
Perfect Local Computability and Computable Simulations
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
Russell Miller, Dustin Mulcahey
ISCAS
1993
IEEE
133views Hardware» more  ISCAS 1993»
15 years 10 months ago
On coupled oscillators networks - For the cellular neural network
: In this study, we propose two types of coupled oscillators networks and investigate their steady states. One network has two-dimensional honeycomb structure. The other network ha...
Yoshifumi Nishio, Shinsaku Mori, Akio Ushida
UML
2001
Springer
15 years 10 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
ICC
2007
IEEE
137views Communications» more  ICC 2007»
16 years 12 days ago
On the Simulation of Tikhonov Random Processes
Abstract— A novel, simple and efficient method for the generation of Tikhonov (a.k.a. von Mises) random variates is proposed. In the proposed method, circular variates of a pres...
Giuseppe Thadeu Freitas de Abreu
ICCAD
2006
IEEE
96views Hardware» more  ICCAD 2006»
16 years 3 months ago
Application-independent defect-tolerant crossbar nano-architectures
Defect tolerance is a major issue in nano computing. In this paper, an application-independent defect tolerant scheme for reconfigurable crossbar nano-architectures is presented....
Mehdi Baradaran Tahoori