Skip to search formSkip to main contentSkip to account menu

Randal Bryant

Known as: Randal E. Bryant, Randy Bryant 
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Binary decision diagramComputer scientistEdmund M. ClarkeElectronic circuit

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The first EDA MOOC: Teaching design automation to planet earth
Massive Open Online Courses (MOOCs) can deliver advanced course material at planetary scale, combining internet-based video… 
2013
2013
Bank of America Tower at One Bryant Park
Down the Ventilation “Rabbit Hole” To see how complex it is to improve energy efficiency after a building has been occupied, let… 
2012
2012
Randal MacDonnell and early seventeenth-century settlement in northeast Ulster, 1603 –30
2004
2004
Adaptive and evolvable software systems: techniques, tools, and applications
A longstanding goal of software developers is to construct programs that are easily modified and extended. One example is the… 
2003
2003
A New Conservative Synchronization Protocol for Dynamic Wargame Simulation
: Parallel processing of discrete events requires that causality be retained, even when events are processed out of strict time… 
1998
1998
Compositional BDD Construction: A Lazy Algorithm
The efficient Binary Decision Diagram algorithm presented in Brace, Rudell and Bryant 1990 is modified to operate in a lazy or… 
Review
1994
Review
1994
Power For Sanity: Selected Editorials of William Cullen Bryant, 1829-1861
Journalists, 19th-century historians and political history readers should all find this volume of William Cullen Bryant's… 
1991
1991
Language in Australia: List of tables
1981
1981
A compiler generator for semantic grammars
Acknowledgements For the past three years, John Hennessy has assisted my study of programming languages. He suggested that I… 
1975
1975
A revision of the spider genus Eilica (Araneae, Gnaphosidae). American Museum novitates ; no. 2578
The 12 known species of Eilica are diagnosed and described. The genera Laronia Simon, Gnaphosoides Hogg, and Caridrassus Bryant… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)