Sciweavers

1188 search results - page 71 / 238
» Generating Connectives
Sort
View
CIE
2008
Springer
15 years 5 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 7 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 8 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...
110
Voted
ICC
2007
IEEE
137views Communications» more  ICC 2007»
15 years 9 months 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
67
Voted
ICCAD
2006
IEEE
96views Hardware» more  ICCAD 2006»
16 years 11 days 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