Raphael A. Finkel

Soft Comput., 2022

Analyzing Code-mixing in Linguistic Corpora Using Kratylos.

[BibT_eX]

[DOI]

Daniel Kaufman

Ahmed Shamim

ACM Journal on Computing and Cultural Heritage, 2022

2011

Reasoning about conditional constraint specification problems and feature models.

[BibT_eX]

[DOI]

Barry O'Sullivan

Artif. Intell. Eng. Des. Anal. Manuf., 2011

2009

What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts.

[BibT_eX]

[DOI]

Gregory Stump

Digit. Humanit. Q., 2009

Reasoning about Conditional Constraint Specifications.

[BibT_eX]

[DOI]

Barry O'Sullivan

Proceedings of the ICTAI 2009, 2009

2008

Planning for Welfare to Work.

[BibT_eX]

[DOI]

Liangrong Yi

Judy Goldsmith

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

RPSF: A Routing Protocol with Selective Forwarding for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2007

A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology.

[BibT_eX]

[DOI]

Gregory Stump

Lit. Linguistic Comput., 2007

2006

Generating Cellular Puzzles with Logic Programs.

[BibT_eX]

V. Wiktor Marek

Proceedings of the 2006 International Conference on Artificial Intelligence, 2006

2005

Micky: Methods With Implicit Calls.

[BibT_eX]

Bryan Crawley

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Adaptive Decision Support for Planning under Hard and Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Challenges to Decision Support in a Changing World, 2005

2004

Constraint Lingo: towards high-level constraint programming.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2004

Automatic Generation of English-language Steps in Puzzle Solving.

[BibT_eX]

Hemantha Ponnuru

Proceedings of the International Conference on Artificial Intelligence, 2004

2003

Parallel Relative Debugging with Dynamic Data Structures.

[BibT_eX]

Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, 2003

2002

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.

[BibT_eX]

[DOI]

V. Wiktor Marek

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Comparison of Overlap Detection Techniques.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2002, 2002

Signature Extraction for Overlap Detection in Documents.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2002, 2002

Generating Hebrew Verb Morphology by Default Inheritance Hierarchies.

[BibT_eX]

[DOI]

Gregory Stump

Proceedings of the Workshop on Computational Approaches to Semitic Languages, 2002

2001

Tabular Constraint-Satisfaction Problems and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

Computing stable models in parallel.

[BibT_eX]

[DOI]

Neil Moore

Proceedings of the Answer Set Programming, 2001

1999

Experience with a Unix System-Administration Tool.

[BibT_eX]

[DOI]

Brian Sturgill

Harlan Stenn

Softw. Pract. Exp., 1999

The SUDA Project: Collaborative Web-based Translation.

[BibT_eX]

[DOI]

Ross Scaife

Huar-En Ng

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Integrated CPU and network-I/O QoS management in an endsystem.

[BibT_eX]

[DOI]

K. Lakshman

Raj Yavatkar

Comput. Commun., 1998

1997

Pulsar: An Extensible Tool for Monitoring Large Unix Sites.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1997

What Is an Operating System?

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data.

[BibT_eX]

[DOI]

Erin H. Herrin II

Comput. Syst., 1996

Operating Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Advanced programming language design.

[BibT_eX]

Addison-Wesley-Longman, ISBN: 978-0-805-31191-4, 1996

1994

A Reservation-Based CSMA Protocol for Integrated Manufacturing Networks.

[BibT_eX]

[DOI]

Rajendra S. Yavatkar

Prashant Pai

IEEE Trans. Syst. Man Cybern. Syst., 1994

1991

Utility Servers in Charlotte.

[BibT_eX]

[DOI]

Cui-Qing Yang

Softw. Pract. Exp., 1991

An ASCII Database for Fast Queries of Relatively Stable Data.

[BibT_eX]

[DOI]

Erin H. Herrin II

Comput. Syst., 1991

1989

Experience with Charlotte: Simplicity and Function in a Distributed Operating System.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Designing a Process Migration Facility: The Charlotte Experience.

[BibT_eX]

[DOI]

Yeshayahu Artsy

Computer, 1989

1988

A Simple Mechanism for Type Security Across Compilation Units.

[BibT_eX]

[DOI]

Michael L. Scott

IEEE Trans. Software Eng., 1988

Handling Timing Errors in Distributed Programs.

[BibT_eX]

[DOI]

Aaron J. Gordon

IEEE Trans. Software Eng., 1988

Parallel algorithms and architectures report of a workshop.

[BibT_eX]

[DOI]

J. Supercomput., 1988

YACKOS on a shared-memory multiprocessor.

[BibT_eX]

[DOI]

Debra Hensgen

SIGARCH Comput. Archit. News, 1988

Two algorithms for barrier synchronization.

[BibT_eX]

[DOI]

Debra Hensgen

Udi Manber

Int. J. Parallel Program., 1988

An Optimal Scheme for Disseminating Information.

[BibT_eX]

Yijie Han

Proceedings of the International Conference on Parallel Processing, 1988

An operating systems vade mecum (2. ed.).

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-637950-8, 1988

1987

The Crystal Multicomputer: Design and Implementation Experience.

[BibT_eX]

[DOI]

David J. DeWitt

IEEE Trans. Software Eng., 1987

DIB - A Distributed Implementation of Backtracking.

[BibT_eX]

[DOI]

Udi Manber

ACM Trans. Program. Lang. Syst., 1987

Interprocess Communication in Charlotte.

[BibT_eX]

[DOI]

Yeshayahu Artsy

Hung-Yang Chang

IEEE Softw., 1987

An Efficient Deadlock Avoidance Algorithm.

[BibT_eX]

[DOI]

Hari Madduri

Inf. Process. Lett., 1987

1984

Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System.

[BibT_eX]

[DOI]

Hari Madduri

Inf. Process. Lett., 1984

1983

Run-time Print Values.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1983

Improved Speedup Bounds for Parallel Alpha-Beta Search.

[BibT_eX]

[DOI]

John P. Fishburn

IEEE Trans. Pattern Anal. Mach. Intell., 1983

1982

Quotient Networks.

[BibT_eX]

[DOI]

John P. Fishburn

IEEE Trans. Computers, 1982

Binding Strategies and Scope Rules Are Independent.

[BibT_eX]

[DOI]

Thomas R. Virgilio

Comput. Lang., 1982

Parallelism in Alpha-Beta Search.

[BibT_eX]

[DOI]

John P. Fishburn

Artif. Intell., 1982

WISPAC: A Parallel Array Computer for Simulation Applications.

[BibT_eX]

Proceedings of the Parallel and Large-Scale Computers: Performance, 1982

1981

The Lens Interconnection Strategy.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1981

High Density Graphs for Processor Interconnection.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1981

A Stable Distributed Scheduling Algorithm.

[BibT_eX]

Raymond M. Bryant

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

Processor Interconnection Strategies.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1980

A Note on Enumerating Binary Trees.

[BibT_eX]

[DOI]

J. ACM, 1980

1979

The ROSCOE Distributed Operating System.

[BibT_eX]

[DOI]

Proceedings of the Seventh Symposium on Operating System Principles, 1979

Distributed algorithms for global structuring.

[BibT_eX]

[DOI]

Michael L. Horowitz

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1977

An Algorithm for Finding Best Matches in Logarithmic Expected Time.

[BibT_eX]

[DOI]

Jerome H. Friedman

Jon Louis Bentley

ACM Trans. Math. Softw., 1977

1976

Constructing and debugging manipulator programs.

[BibT_eX]

[DOI]

PhD thesis, 1976

1975

An Overview Of AL, A Programming System For Automation.

[BibT_eX]

[DOI]

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

1974

Quad Trees: A Data Structure for Retrieval on Composite Keys.

[BibT_eX]

[DOI]