Sciweavers

4074 search results - page 304 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
RIVF
2003
15 years 8 months ago
Complex Systems Modeling
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
Christophe Lecerf, Thi Minh Luan Nguyen
ISCAS
1994
IEEE
92views Hardware» more  ISCAS 1994»
15 years 10 months ago
A Study on the Stochastic Computation Using the Ratio of One Pulses and Zero Pulses
Stochastic computation uses pulse streams to represent numbers. In this paper, we have studied the novel method to implement the number system which uses the ratio of the number o...
Seung-Jai Min, Eel-Wan Lee, Soo-Ik Chae
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 12 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
ICES
2003
Springer
112views Hardware» more  ICES 2003»
15 years 12 months ago
Using Negative Correlation to Evolve Fault-Tolerant Circuits
In this paper, we show how artificial evolution can be used to improve the fault-tolerance of electronic circuits. We show that evolution is able to improve the fault tolerance of...
Thorsten Schnier, Xin Yao
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 10 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli