Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

EURODAC
1994
IEEE

favoriteEmaildiscussreport

104views VHDL» more EURODAC 1994»

An efficient verification algorithm for parallel controllers

13 years 8 months ago

An efficient verification algorithm for parallel controllers

Download www.cecs.uci.edu

Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul

Real-time Traffic

EURODAC 1994 | VHDL |

claim paper

Related Content

» Planning and Verification for Stochastic Processes with Asynchronous Events

» Efficient algorithms for verifying memory consistency

» A strategy for efficiently verifying requirements

» LTL Path Checking Is Efficiently Parallelizable

» Space and TimeEfficient BDD Construction via Working Set Control

» Efficient Session Type Guided Distributed Interaction

» Temporal dependency based checkpoint selection for dynamic verification of fixedtime const...

» The Verus Language Representing Time Efficiently with BDDs

» Improving SIMT Efficiency of Global Rendering Algorithms with Architectural Support for Dy...

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1994
Where	EURODAC
Authors	Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul, Janusz Szajna

Comments (0)