Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
- Publication
- Publication Type
Articles 1 - 4 of 4
Full-Text Articles in Physical Sciences and Mathematics
Simulations Between Programs As Cellular Automata, Howard A. Blair, Fred Dushin, Polar Humenn
Simulations Between Programs As Cellular Automata, Howard A. Blair, Fred Dushin, Polar Humenn
Electrical Engineering and Computer Science - Technical Reports
We present cellular automata on appropriate digraphs and show that any covered normal logic program is a cellular automaton. Seeing programs as cellular automata shifts attention from classes of Herbrand models to orbits of Herbrand interpretations. Orbits capture both the declarative, model-theoretic meaning of programs as well as their inferential behavior. Logically and intentionally different programs can produce orbits that simulate each other. Simple examples of such behavior are compellingly exhibited with space-time diagrams of the programs as cellular automata. Construing a program as a cellular automaton leads to a general method for simulating any covered program with a Horn …
Comment On 'Simulation Of A Two-Dimensional Rayleigh-Bénard System Using The Direct Simulation Monte Carlo Method, Alejandro Garcia, F. Baras, M. Malek Mansour
Comment On 'Simulation Of A Two-Dimensional Rayleigh-Bénard System Using The Direct Simulation Monte Carlo Method, Alejandro Garcia, F. Baras, M. Malek Mansour
Alejandro Garcia
No abstract provided.
Comment On 'Simulation Of A Two-Dimensional Rayleigh-Bénard System Using The Direct Simulation Monte Carlo Method, Alejandro Garcia, F. Baras, M. Malek Mansour
Comment On 'Simulation Of A Two-Dimensional Rayleigh-Bénard System Using The Direct Simulation Monte Carlo Method, Alejandro Garcia, F. Baras, M. Malek Mansour
Faculty Publications
No abstract provided.
Effects Of Technology Mapping On Fault Detection Coverage In Reprogrammable Fpgas, Kevin A. Kwiat, Warren Debany, Salim Hariri
Effects Of Technology Mapping On Fault Detection Coverage In Reprogrammable Fpgas, Kevin A. Kwiat, Warren Debany, Salim Hariri
Electrical Engineering and Computer Science - All Scholarship
Although Field-Programmable Gate Arrays (FPGAs) are tested by their manufacturers prior to shipment, they are still susceptible to failures in the field. In this paper, test vectors generated for the emulated (i.e., mission) circuit are fault simulated on two different models: the original view of the circuit, and the design as it is mapped to the FPGA's logic cells. Faults in the cells and in the programming logic are considered. Experiments show that this commonly-used approach fails to detect most of the faults in the FPGA.