Author image not provided
 Gerald M Karam

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article4.87
Citation Count112
Publication count23
Publication years1985-2010
Available for download11
Average downloads per article243.55
Downloads (cumulative)2,679
Downloads (12 Months)82
Downloads (6 Weeks)5
SEARCH
ROLE


SUBJECT AREAS
See all subject areas



BOOKMARK & SHARE


24 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 24
Result page: 1 2

Sort by:

1 published by ACM
August 2010 IPTComm '10: Principles, Systems and Applications of IP Telecommunications
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 6,   Downloads (Overall): 64

Full text available: PDFPDF
Certain teleconferencing applications must host very large number of participants that exceeds the capacity of a single mixing media server. Traditionally multiple media servers are connected in a cascading arrangement to meet the capacity requirement. This paper discusses the shortcomings of the traditional approach such as lower audio quality and ...
Keywords: SIP servlets, conferencing, media streaming, multimedia services, RTP, real-time system, composition

2
May 2005 CBSE'05: Proceedings of the 8th international conference on Component-Based Software Engineering
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 12

AT&T CallVantage SM service is a consumer broadband voice-over-Internet-protocol (VoIP) service. Its feature server has a component-based architecture. This paper is a brief report on our experience with building and deploying advanced telecommunication features using component-based technology.

3
April 2003 Computers and Operations Research: Volume 30 Issue 5, April 2003
Publisher: Elsevier Science Ltd.
Bibliometrics:
Citation Count: 0

The optimal assignment of the tasks to the processors to minimize total delay in a multiprocessor digital signal processing (DSP) architecture is extremely difficult, particularly for systems of many (e.g. 100) tasks. Two factors especially complicate the problem: (1) the multiprocessor architecture affects the inter-processor communication times, and (2) the ...
Keywords: multiprocessor, critical path analysis, mapping, digital signal processing, heuristic, task assignment

4
April 1998
Bibliometrics:
Citation Count: 0


5
January 1996
Bibliometrics:
Citation Count: 0

An end-to-end approach for scheduling hard real-time periodic transactions in a multiprocessor or distributed system is presented. Each transaction consists of a chain of tasks, where each task is allocated to a processor based on its resource requirements. A transaction may visit a processor several times and it may fork ...

6 published by ACM
September 1994 ACM SIGAda Ada Letters: Volume XIV Issue SI, Fall 1994
Publisher: ACM
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 0,   Downloads (12 Months): 8,   Downloads (Overall): 191

Full text available: PDFPDF
This paper provides an overview of TimeBench , a prototype CAD tool for designing real-time systems, as well as some experiences gained through building and using it. TimeBench aims to support a true engineering design process for real-time systems in a largely graphical working environment. The environment includes support for ...
Also published in:
September 1994  SETA2: Proceedings of the second international symposium on Environments and tools for Ada

7 published by ACM
August 1994 ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Publisher: ACM
Bibliometrics:
Citation Count: 23
Downloads (6 Weeks): 3,   Downloads (12 Months): 35,   Downloads (Overall): 1,261

Full text available: PDFPDF
A timeline is a linear, graphical visualization of events over time. For example, in concurrent application, events would represent state changes for some system object (such as a task or variable). A timeline display generator creates the graphical visualization from some record of events. This paper reports on a model ...

8
December 1993 IWSSD '93: Proceedings of the 7th international workshop on Software specification and design
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 0,   Downloads (12 Months): 3,   Downloads (Overall): 100

Full text available: PDFPDF
This paper introduces design fragments as a fundamental component of a design process for strong traceability in the design of concurrent systems. Design fragments represent reusable alternatives for the independent design of the communication requirements in a concurrent system. They are defined with formal relations to segments of communicating state ...
Keywords: Traceability, Concurrent Systems, Correctness, Design, Distributed Systems, Validation

9
February 1993 Computer: Volume 26 Issue 2, February 1993
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 12

A framework providing a basis for comparing and evaluating software development methods (SDMs), which are systems of technical procedures and notational conventions for the organized construction of software-based systems, is presented. Using the framework, practitioners and methodologists can describe and rate an SDM's support for 21 properties. The application of ...

10
January 1992
Bibliometrics:
Citation Count: 0


11
October 1991 IEEE Transactions on Software Engineering: Volume 17 Issue 10, October 1991
Publisher: IEEE Press
Bibliometrics:
Citation Count: 2

A temporal logic-based specification language and deadlock analyzer for Ada is described. The deadlock analyzer is intended for use within Timebench, a concurrent system-design environment with support for Ada. The specification language, COL, uses linear-time temporal logic to provide a formal basis for axiomatic reasoning. The deadlock analysis tool uses ...
Keywords: computational complexity, finite systems, inference mechanisms, readers, systemwide deadlock-free, COL, axiomatic reasoning, concurrent system-design environment, deadlock algorithm, dining philosophers, system recovery, theorem prover, Ada, Ada designs, Prolog, Timebench, deadlock analysis tool, deadlock analyzer, formal basis, linear-time temporal logic, logic programming, reasoning power, temporal logic, gas station, layered communications system, specification language, specification languages, temporal logic-based specification language, worst-case computational complexity, writers

12 published by ACM
April 1991 SETA1: Proceedings of the first international symposium on Environments and tools for Ada
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 0,   Downloads (12 Months): 3,   Downloads (Overall): 121

Full text available: PDFPDF
MachineCharts is a visual design notation that has both structural and temporal semantics. An Abstract Controller Machine (ACM) is an element of the notation that encapsulates the temporal behavior defined by a requirements entity and expresses it through an event/action interface. This interface is used by the design components to ...
Also published in:
April 1991  ACM SIGAda Ada Letters: Volume XI Issue 3, Spring 1991

13
December 1990 IEEE Transactions on Software Engineering: Volume 16 Issue 12, December 1990
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0

The commenter disagrees with the comparison method used and questions the usefulness of the results obtained in the above named work by N.R. Howes and A.C. Weaver. It is claimed that the comparison method is weak because Howes and Weaver did not take into account: the impact of control flow ...
Keywords: control flow, multiple entities, performance efficiency, protocol, protocols, standards, Ada overhead, comparison method, OSI-style communications systems, open systems, programming, Ada, computer communications software, coordination required, lower layer, optimizations

14
August 1990 IEEE Transactions on Software Engineering: Volume 16 Issue 8, August 1990
Publisher: IEEE Press
Bibliometrics:
Citation Count: 13

Starvation and critical race analysis tools for Ada designs are described. These tools are part of a temporal analysis toolset that includes an operational specification language, a language interpreter, and a deadlock analyzer for Ada. The starvation analyzer is based on a set-theoretic model of starvation. It uses a proof ...
Keywords: critical race analysis tools, program interpreters, semiautomatic proof, set-theoretic model, specification languages, system recovery., design examples, human operator, language interpreter, nondeterministic rendezvous, preprocessing phase, software tools, starvation analyzer, computation space, liveness, programming, Ada, Ada designs, deadlock analyzer, operational specification language, race analyzers, starvation tool, temporal analysis toolset

15 published by ACM
July 1990 ACM SIGPLAN Notices: Volume 25 Issue 7, July 1990
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 0,   Downloads (12 Months): 4,   Downloads (Overall): 141

Full text available: PDFPDF
This paper describes a procedural definition of Prolog based on the features of the 'C' programming language. Our motivation to exploit the complementary nature of procedural and declarative programming lead to the objective of a dual Prolog and 'C' programming environment. A translator has been built which accepts Prolog programs ...
Keywords: ‘C’, Prolog, declarative programming, procedure programming, translation

16
May 1990 IEEE Transactions on Software Engineering: Volume 16 Issue 5, May 1990
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0

The programming tradeoffs between structure-oriented and clause-oriented operations on data structures in Prolog are limited in current implementations because the assertion of clauses that include uninstantiated variables destroys any binding between these variables and those with which they are unified in the execution of the program. Built-in predicates for Prolog ...
Keywords: data structures, predicate variable pointers, uninstantiated variables, C-Prolog, logical implications, performance benefits, built-in predicates, clause-oriented operations, computational complexity, structure-oriented operations, symbol table dictionary, PROLOG., Prolog applications, Warren, computational improvements, pseudo-Pascal compiler

17
November 1989 IEEE Transactions on Software Engineering: Volume 15 Issue 11, November 1989
Publisher: IEEE Press
Bibliometrics:
Citation Count: 6

It is noted that critical races in concurrent Ada programs are an insidious source of system errors, and that the Ada language does not have concurrency features to ease the development of critical race-free programs. The authors illustrate this using the CRF language, which extends the Ada language by the ...
Keywords: Ada language, CRF language, critical races, discriminatory mutual exclusion, Ada, parallel programming, caller selection mechanism, dimutex, gas-station example, rapid-prototyping, system errors, MLog language, concurrent Ada programs

18
March 1989 IEEE Transactions on Software Engineering: Volume 15 Issue 3, March 1989
Publisher: IEEE Press
Bibliometrics:
Citation Count: 11

A research project is described in which an experimental software CAD environment called the Carleton embedded system design environment (CAEDE), oriented toward embedded systems and Ada, was developed to provide a demonstration of the concept and to serve as a research testbed. The major contribution of CAEDE is a demonstration ...
Keywords: abstract machines, automatic programming, research project, semantic depth, software CAD environment, software engineering, software tools., visual paradigm, embedded systems, programming environments, CAEDE, Carleton embedded system design environment, syntactic shallowness, tool development, Ada, CAD, Prolog, performance analysis, skeleton Ada code, temporal analysis

19
July 1988 IEEE Software: Volume 5 Issue 4, July 1988
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 2

An icon-based design method that combines a module-oriented Prolog design model, graphical software design, and software engineering principles is presented. It is based on a dataflow-driven decomposition that is guided by design principles, followed by evaluation. Its purpose is to enable Prolog applications to be developed in accordance with the ...
Keywords: efficiency, graphical software design, icon-based design method, understandability, PROLOG, design principles, modifiability, module-oriented Prolog design model, software engineering, Lisp interpreter, dataflow-driven decomposition, computer graphics, reliability, user interfaces

20 published by ACM
December 1987 SIGAda '87: Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 105

Full text available: PDFPDF
In this paper, we report on experience gained in the temporal analysis of multitasking Ada designs. The analysis tool-set, developed as part of the CAEDE project, includes an operational specification language, and deadlock, starvation and critical race analyzers. We identify design parameters that lead to costly analysis, and then describe ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us