Search results for "Geoff Barrett"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Charalambos Ioannides, Geoff Barrett, Kerstin Eder	XCS cannot learn all boolean functions.	GECCO	2011	DBLP DOI BibTeX RDF
1	Charalambos Ioannides, Geoff Barrett, Kerstin Eder	Improving XCS performance on overlapping binary problems.	IEEE Congress on Evolutionary Computation	2011	DBLP DOI BibTeX RDF
1	Charalambos Ioannides, Geoff Barrett, Kerstin Eder	Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Kerstin Eder, Geoff Barrett	Achieving maximum performance: a method for the verification of interlocked pipeline control logic.	DAC	2002	DBLP DOI BibTeX RDF	interlock logic, pipeline stall, verification
1	Geoff Barrett, Anthony McIsaac	Model Checking in a Microprocessor Design Project.	CAV	1997	DBLP DOI BibTeX RDF
1	Françoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, François Pogodalla, Frédéric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Gérard Mas, Geoff Barrett, Christian Berthet	Functional Verification Methodology of Chameleon Processor.	DAC	1996	DBLP DOI BibTeX RDF
1	Geoff Barrett	Model Checking in Practice: The T9000 Virtual Channel Processor.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF
1	Geoff Barrett	Model Checking in Practice - The T9000 Virtual Channel Processor.	FME	1993	DBLP DOI BibTeX RDF
1	Geoff Barrett	The Fixed Point Theory of Unbounded Non-Determinism.	Formal Asp. Comput.	1991	DBLP DOI BibTeX RDF
1	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
1	A. W. Roscoe, Geoff Barrett	Unbounded Nondeterminism in CSP.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
1	Geoff Barrett	The Semantics of Priority and Fairness in occam.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
1	Michael Goldsmith, A. Cox, Geoff Barrett	An Algebraic Transformation System for Occam Programs.	STACS	1987	DBLP DOI BibTeX RDF
1	Geoff Barrett	A formal approach to rounding.	IEEE Symposium on Computer Arithmetic	1987	DBLP DOI BibTeX RDF

Publications of "Geoff Barrett" ( http://dblp.L3S.de/Authors/Geoff_Barrett )