Gerald M. Karam

Orcid: 0000-0003-1108-5356

According to our database1, Gerald M. Karam authored at least 30 papers between 1985 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The Evolution of Networks and Management in a 6G World: An Inventor's View.
IEEE Trans. Netw. Serv. Manag., December, 2022

2010
A novel implementation of very large teleconferences.
Proceedings of the Principles, 2010

2009
Automated Testing of a Converged Conferencing Application.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2005
Describing and Visualizing the Capacity of a System with Behaviour Uncertainties.
Proceedings of the 13th International Symposium on Modeling, 2005

Experience with Component-Based Development of a Telecommunication Service.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2003
A fast task-to-processor assignment heuristic for real-time multiprocessor DSP applications.
Comput. Oper. Res., 2003

2001
Community Websites as a Local Communication Network: "Directory Westfield", an Experience Report.
Proceedings of the Digital Cities II, 2001

1995
A network services interface for telepresence applications.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

1994
TimeBench: a CAD tool for real-time system design.
Proceedings of the Second International Symposium on Environments and Tools for Ada, 1994

Visualization using Timelines.
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1993
A Cataloging Framework for Software Development Methods.
Computer, 1993

Using Design Fragments to Modularize the Design of Communications in Concurrent Systems.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A System Architecture for a Mobile Robot Based on Activities and a Blackboard Control Unit.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

Entity behaviour descriptions-A specification model for communicating entities.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
A Blackboard, Activity-based Control Architecture For A Mobile Platform.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 1992

1991
Temporal Logic-Based Deadlock Analysis For Ada.
IEEE Trans. Software Eng., 1991

Book Reviews.
INFORMS J. Comput., 1991

1990
Starvation and Critical Race Analyzers for Ada.
IEEE Trans. Software Eng., 1990

Comments on "Measurement of Ada Overhead in OSI-Style Communications Systems''.
IEEE Trans. Software Eng., 1990

Computational Improvements in Prolog Applications by Predicate Variable Pointers.
IEEE Trans. Software Eng., 1990

Prolog in "C".
ACM SIGPLAN Notices, 1990

Support for specifying temporal behavior in Ada designs.
Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

1989
Critical Races in Ada Programs.
IEEE Trans. Software Eng., 1989

Software CAD: A Revolutionary Approach.
IEEE Trans. Software Eng., 1989

1988
An Icon-Based Design Method for Prolog.
IEEE Softw., 1988

1987
Cooperating Knowledge-Based Assistants for the Office.
ACM Trans. Inf. Syst., 1987

Experience with the automatic temporal analysis of multitasking Ada designs.
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, 1987

1985
A hierarchical expert system for updating forestry maps with Landsat data.
Proc. IEEE, 1985

An overview and example of application of CAEDE: a new, experimental design environment for Ada.
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems.
Proceedings of the Proceedings, 1985


  Loading...