Searching for authors named Mary Sheeran – sorted by Relevance.
-
A tutorial on the use of propositional logic and Stålmarck's method in system verification
- Sheeran Prover Technology AB and Chalmers University of Technology, Sweden Abstract. We explain the use
- Add To MetaCart
-
Puzzling Permutations
- Puzzling Permutations Mary Sheeran Computing Science Department, Chalmers Tekniska Hogskola
- Cited by 2 (1 self) – Add To MetaCart
-
Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular
- Finding regularity: describing and analysing circuits that are not quite regular Mary Sheeran
- Cited by 4 (1 self) – Add To MetaCart
-
Generating fast multipliers using clever circuits
- Generating fast multipliers using clever circuits Mary Sheeran Chalmers University of Technology
- Cited by 7 (2 self) – Add To MetaCart
-
Designing Correct Circuits.
- Event of the ETAPS 2006 group of conferences Participants’ Proceedings Edited by Mary Sheeran and Tom
- Cited by 1 (0 self) – Add To MetaCart
-
Timeless Truths about Sequential Circuits
- Geraint Jones Oxford University Computing Laboratory 11 Keble Road Oxford OX1 3QD, UK Mary Sheeran
- Cited by 11 (1 self) – Add To MetaCart
-
Collecting Butterflies
- COLLECTING BUTTERFLIES by Geraint Jones Mary Sheeran \Delta Oxford University Computing
- Cited by 12 (2 self) – Add To MetaCart
-
Deriving bit-serial circuits in Ruby
- Deriving bit-serial circuits in Ruby Geraint Jones a and Mary Sheeran b a Programming Research
- Cited by 1 (1 self) – Add To MetaCart
-
A Tutorial on Lava: A Hardware Description and Verification System
- @(email omitted); Mary Sheeran ms@(email omitted); April 9, 2000 Contents 1 Introduction 4 2 Getting Started 6 2.1 Your
- Cited by 17 (5 self) – Add To MetaCart
-
Relations and Refinement in Circuit Design
- Relations and Refinement in Circuit Design Geraint Jones Oxford University Mary Sheeran y
- Cited by 23 (1 self) – Add To MetaCart

