MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Eric Mercer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Trace Theoretic Verification of Timed Circuits: Correctness, Reduction, and Interpretation.
by Eric Mercer
…Trace Theoretic Verication of Timed Circuits: Correctness, Reduction, and Interpretation. Eric…
Add To MetaCart

Explicit state model checking with Hopper
by Michael Jones, Eric Mercer — 2004 — In International SPIN Workshop on Software Model Checking (SPIN’04), number 2989 in LNCS
…Explicit state model checking with Hopper Michael Jones and Eric Mercer Brigham Young University…
Cited by 3 (1 self) – Add To MetaCart

Model checking machine code with the GNU debugger
by Eric Mercer, Michael Jones — 2005 — In 12th International SPIN Workshop
…Model Checking Machine Code with the GNU Debugger Eric Mercer and Michael Jones Department…
Cited by 8 (2 self) – Add To MetaCart

Modular Verification of Timed Circuits using Automatic Abstraction
by Hao Zheng, Eric Mercer, Chris Myers — 2003 — IEEE Transactions on Computer-Aided Design
…Modular Verification of Timed Circuits Using Automatic Abstraction Hao Zheng, Eric Mercer, Member…
Cited by 7 (3 self) – Add To MetaCart

Modular synthesis of timed circuits using partial order reduction
by Tomohiro Yoneda, Eric Mercer, Chris Myers — 2002 — In Electronic Notes in Theoretical Computer Science (April 2002), U. Nestmann and
…Modular Synthesis of Timed Circuits using Partial Order Reduction Tomohiro Yoneda ∗ Eric Mercer…
Cited by 4 (3 self) – Add To MetaCart

Automatic Abstraction for Verification of Timed Circuits and Systems
by Hao Zheng, Eric Mercer, Chris Myers — 2001
…Automatic Abstraction for Verication of Timed Circuits and Systems ? Hao Zheng, Eric Mercer…
Cited by 2 (1 self) – Add To MetaCart

Generating Counter-examples through Randomized Guided Search
by Neha Rungta, Eric G Mercer
…Generating Counter-examples through Randomized Guided Search Neha Rungta and Eric G Mercer…
Cited by 1 (0 self) – Add To MetaCart

Title: Correctness and Reduction in Timed Circuit Verification
by Eric G Mercer, Adviser Associate, Professor Chris, J. Myers
… Campus Drive, RM 3280 Salt Lake City, UT 84112 (801) 581-8378 EDUCATION Eric G Mercer Home Address: 625…
Add To MetaCart

Improved POSET timing analysis in Timed Petri Nets
by Eric G Mercer, Chris J. Myers — 2001 — in Proceedings of International Workshop on Synthesis and System Integration of Mixed Technologies
…Improved POSET Timing Analysis in Timed Petri Nets ∗ Eric G Mercer University of Utah Salt Lake…
Cited by 5 (4 self) – Add To MetaCart

A Standard-Cell Self-timed Multiplier for Energy and Area Critical Synchronous Systems
by Kip C. Killpack, Eric Mercer, Chris J. Myers — 2001 — In Advanced Research in VLSI. CS
…. Killpack Eric Mercer Chris J. Myers Electrical Engineering Department University of Utah Salt Lake City, UT…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB