Carl Hewitt

According to our database, Carl Hewitt authored at least 61 papers between 1967 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

The History, Status, and Future of FPGAs: Hitting a nerve with field-programmable gate arrays.

Oskar Mencer, Dennis Allison, Elad Blatt, Mark Cummings, Michael J. Flynn, Jerry Harris, Carl Hewitt, Quinn Jacobson, Maysam Lavasani, Mohsen Moazami, Hal Murray, Masoud Nikravesh, Andreas Nowatzyk, Mark Shand, Shahram Shirazi

ACM Queue, 2020

The history, status, and future of FPGAs.

Oskar Mencer, Dennis Allison, Elad Blatt, Mark Cummings, Michael J. Flynn, Jerry Harris, Carl Hewitt, Quinn Jacobson, Maysam Lavasani, Mohsen Moazami, Hal Murray, Masoud Nikravesh, Andreas Nowatzyk, Mark Shand, Shahram Shirazi

Commun. ACM, 2020

2018

The gap in CS, mulling irrational exuberance.

Carl Hewitt, Vijay Kumar

Commun. ACM, 2018

<i>Fake it to make it</i> , media literacy, and persuasive design: Using the functional triad as a tool for investigating persuasive elements in a fake news simulator.

Alex C. Urban, Carl Hewitt, Joi Moore

Proceedings of the Building & Sustaining an Ethical Future with Emerging Technology, 2018

2010

scriptJ(TM) extension of Java(R): discretionary, adaptive concurrency for privacy-friendly, client-cloud computing

Carl Hewitt

CoRR, 2010

Actor Model for Discretionary, Adaptive Concurrency

Carl Hewitt

CoRR, 2010

2009

Perfect Disruption: The Paradigm Shift from Mental Agents to ORGs.

Carl Hewitt

IEEE Internet Comput., 2009

ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing

Carl Hewitt

CoRR, 2009

Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking

Carl Hewitt

CoRR, 2009

Middle History of Logic Programming

Carl Hewitt

CoRR, 2009

A historical perspective on developing foundations iInfo(TM) information systems: iConsult(TM) and iEntertain(TM) apps using iDescribers(TM) information integration for iOrgs(TM) information systems.

Carl Hewitt

CoRR, 2009

2008

ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing.

Carl Hewitt

IEEE Internet Comput., 2008

Common sense for concurrency and strong paraconsistency using unstratified inference and reflection

Carl Hewitt

CoRR, 2008

2007

Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency.

Carl Hewitt

Proceedings of the Coordination, 2007

2006

What Is Commitment? Physical, Organizational, and Social (Revised).

Carl Hewitt

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

The Repeated Demise of Logic Programming and Why It Will Be Reincarnated.

Carl Hewitt

Proceedings of the What Went Wrong and Why: Lessons from AI Research and Applications, 2006

1993

Potentials and Limitations of Pen-Based Computers.

Takayuki Dan Kimura, Wayne Citrin, Dan Halbert, Carl Hewitt, Norman K. Meyrowitz, Ben Shneiderman

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

Some Requirements for Mobile Distributed Telecomputing Architecture.

Carl Hewitt

Proceedings of the Artificial Social Systems, 1992

1991

DAI betwixt and between: from 'intelligent agents' to open systems science.

Carl Hewitt, Jeff Inman

IEEE Trans. Syst. Man Cybern., 1991

Open Information Systems Semantics for Distributed Artificial Intelligence.

Carl Hewitt

Artif. Intell., 1991

OOP and AI (Panel).

Mamdouh Ibrahim, Daniel G. Bobrow, Carl Hewitt, Jean-François Perror, Reid G. Smith, Howard E. Shrobe

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Multiple Approaches to Multiple Agent Problem Solving.

James A. Hendler, Daniel G. Bobrow, Les Gasser, Carl Hewitt, Marvin Minsky

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Foundations of Concurrent Object-Oriented Programming (Panel).

Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989

Toward an Open Systems Architecture.

Carl Hewitt

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Guarded Horn Clause Languages: Are They Deductive and Logical?

Carl Hewitt, Gul Agha

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Knowledge Processing.

Carl Hewitt

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Future Artificial Intelligence Requirements For Intelligent Database Systems - Panel Report.

Michael L. Brodie, Daniel G. Bobrow, Victor R. Lesser, Stuart E. Madnick, Dennis Tsichritzis, Carl Hewitt

Proceedings of the Expert Database Systems, 1988

1987

Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming.

Gul Agha, Carl Hewitt

Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986

Offices Are Open Systems.

Carl Hewitt

ACM Trans. Inf. Syst., 1986

1985

Concurrent Programming Using Actors: Exploiting large-Scale Parallelism.

Gul Agha, Carl Hewitt

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

Linguistic Support of Receptionists for Shared Resources.

Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi

Proceedings of the Seminar on Concurrency, 1984

Design Issues in Parallel Architectures for Artificial Intelligence.

Carl Hewitt, Henry Lieberman

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983

A Real-Time Garbage Collector Based on the Lifetimes of Objects.

Henry Lieberman, Carl Hewitt

Commun. ACM, 1983

Semantic Support for Work in Organizations.

Gerald R. Barber, Peter de Jong, Carl Hewitt

Proceedings of the Information Processing 83, 1983

Analyzing the Roles of Descriptions and Actions in Open Systems.

Carl Hewitt, Peter de Jong

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

Open Systems.

Carl Hewitt, Peter de Jong

Proceedings of the On Conceptual Modelling, 1982

An Artificial Intelligence Perspective.

Carl Hewitt

Proceedings of the On Conceptual Modelling, 1982

Views of office data.

S. Peter de Jong, Richard E. Fikes, Carl Hewitt, Vania Joloboss, Lance A. Miller

Proceedings of the SIGOA Conference on Office Information Systems, 1982

1981

The Scientific Community Metaphor.

William A. Kornfeld, Carl Hewitt

IEEE Trans. Syst. Man Cybern., 1981

1980

A Session with Tinker: Interleaving Program Testing with Program Writing.

Henry Lieberman, Carl Hewitt

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

The Apiary network architecture for knowledgeable systems.

Carl Hewitt

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

Knowledge Embedding in the Description System Omega.

Carl Hewitt, Giuseppe Attardi, Maria Simi

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979

Specification and Proof Techniques for Serializers.

Carl Hewitt, Russell R. Atkinson

IEEE Trans. Software Eng., 1979

Specifying and Proving Properties of Guardians for Distributed Systems.

Carl Hewitt, Giuseppe Attardi, Henry Lieberman

Proceedings of the Semantics of Concurrent Computation, 1979

1978

Dynamic graphics using quasi parallelism.

Kenneth M. Kahn, Carl Hewitt

Proceedings of the 5th Annual Conference on Computer Graphics and Interactive Techniques, 1978

1977

The incremental garbage collection of processes.

Henry G. Baker, Carl Hewitt

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

Viewing Control Structures as Patterns of Passing Messages.

Carl Hewitt

Artif. Intell., 1977

Parallelism and Synchronization in Actor Systems.

Russell R. Atkinson, Carl Hewitt

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

Modelling Distributed Systems.

Akinori Yonezawa, Carl Hewitt

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Actors and Continuous Functionals.

Carl E. Hewitt, Henry G. Baker

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

Laws for Communicating Parallel Processes.

Carl Hewitt, Henry G. Baker

Proceedings of the Information Processing, 1977

1975

STEREOTYPES as an ACTOR Approach Towards Solving the Problem of Procedural Attachment in FRAME Theories.

Carl Hewitt

Proceedings of the Theoretical Issues in Natural Language Processing, 1975

Actor Semantics of Planner-73.

Irene Greif, Carl Hewitt

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

How To Use What You Know.

Carl Hewitt

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

Behavioral semantics of nonrecursive control structures.

Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale

Proceedings of the Programming Symposium, 1974

1973

Actor Induction and Meta-Evaluation.

Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

A Universal Modular ACTOR Formalism for Artificial Intelligence.

Carl Hewitt, Peter Boehler Bishop, Richard Steiger

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1971

Procedural Embedding of knowledge in Planner.

Carl Hewitt

Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1970

Comparative schematology.

Michael S. Paterson, Carl E. Hewitt

Proceedings of the Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, 1970

1969

PLANNER: A Language for Proving Theorems in Robots.

Carl Hewitt

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

1967

Automata on a 2-Dimensional Tape

Manuel Blum, Carl Hewitt

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967