1010 search results - page 18 / 202 » Logics for Contravariant Simulations |
EUSFLAT
2003
13 years 9 months ago
2003
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...
WSC
1989
13 years 9 months ago
1989
One of the factors affecting the performance of distributed simulation models is the assignment of logical processes to processors. This paper outlines a dynamic allocation scheme...
PADS
2004
ACM
14 years 1 months ago
2004
ACM
With Parallel and Discrete Event Simulation (PDES) techniques, the runtime performance of detailed wireless network simulation can be improved significantly without compromising ...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...