Mario Barbacci

According to our database, Mario Barbacci authored at least 38 papers between 1973 and 2000.

Collaborative distances:

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

2000

An Analysis of a Supply Chain Management Agent Architecture.

Nenad Ivezic, Mario Barbacci, John Robert, Don Libes, Thomas E. Potok

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1999

Attribute-Based Architecture Styles.

Mark H. Klein, Rick Kazman, Leonard J. Bass, S. Jeromy Carrière, Mario Barbacci, Howard F. Lipson

Proceedings of the Software Architecture, 1999

Experience with Performing Architecture Tradeoff Analysis.

Rick Kazman, Mario Barbacci, Mark Klein, S. Jeromy Carrière, Steven G. Woods

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

The Architecture Tradeoff Analysis Method.

Rick Kazman, Mark H. Klein, Mario Barbacci, Thomas A. Longstaff, Howard F. Lipson, S. Jeromy Carrière

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

1994

Panel Presents First Four Recommendations Aimed at Establisting Software Engineering as a Profession.

Mario Barbacci

Computer, 1994

1993

Durra: a structure description language for developing distributed applications.

Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota

Softw. Eng. J., 1993

Introduction to the Special Issue on ICCL '92.

James R. Cordy, Mario Barbacci

Comput. Lang., 1993

Real Time Distributed Systems.

Mario Barbacci

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1992

Three Decades of HDLs: Part I, CDL Through TI-HDL.

Yaohan Chu, Donald L. Dietmeyer, James R. Duley, Fredrick J. Hill, Mario Barbacci, Charles W. Rose, Greg M. Ordy, Bill Johnson, Martin Roberts

IEEE Des. Test Comput., 1992

Building fault tolerant distributed applications with Durra.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1991

Building distributed Ada applications from specifications and functional components.

Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Proceedings of the Conference on TRI-Ada 1991, 1991

Durra: an integrated approach to software specification, modeling and rapid prototyping.

Mario Barbacci, Randall W. Lichota

Proceedings of the Second International Workshop on Rapid System Prototyping, 1991

1990

Application-Level Programming.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

A Language for Distributed Applications.

Mario Barbacci, Jeannette M. Wing

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

Developing Applications for Heterogeneous Machine Networks: The Durra Network.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing

Comput. Syst., 1989

1988

Programming at the Processor-Memory-Switch Level.

Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing

Proceedings of the Proceedings, 1988

1987

Specifying Functional and Timing Behavior for Real-Time Applications.

Mario Barbacci, Jeannette M. Wing

Proceedings of the PARLE, 1987

DURRA : A Task-Level Description Language.

Mario Barbacci, Jeannette M. Wing

Proceedings of the International Conference on Parallel Processing, 1987

1985

The Engineering Institute: Bridging Practice and Potential.

Mario Barbacci, A. Nico Habermann

IEEE Softw., 1985

A PMS Level Notation for the Description and Simulation of Digital Systems.

Jovan Djordjevic, Mario Barbacci, Brad Hosler

Comput. J., 1985

The Ada+ front end and coder generator.

Mario R. Barbacci, W. H. Maddox, T. D. Newton, R. G. Stockton

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1983

CONLAN Report

Robert Piloty, Dominique Borrione, Mario Barbacci, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly

Lecture Notes in Computer Science 151, Springer, ISBN: 3-540-12275-3, 1983

1981

Simulation of a Horizontal Bit-Sliced Processor Using the ISPS Architecture Simulation Facility.

Andries van Dam, Mario Barbacci, Constantine Halatsis, J. Joosten, M. Letheren

IEEE Trans. Computers, 1981

Instruction Set Processor Specifications (ISPS): The Notation and Its Applications.

Mario Barbacci

IEEE Trans. Computers, 1981

1980

An Overview of CONLAN: A Formal Construction Method for Hardware Description Language.

Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

CONLAN: a formal construction method for hardware description languages: language application.

Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

CONLAN: a formal construction method for hardware description languages: language derivation.

Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

CONLAN: a formal construction method for hardware description languages: basic principles.

Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

1979

The CMU design automation system: An example of automated data path design.

Alice C. Parker, Donald E. Thomas, Daniel P. Siewiorek, Mario Barbacci, Louis J. Hafer, Gary W. Leive, Jinchoon Kim

Proceedings of the 16th Design Automation Conference, 1979

Instruction set processor specifications for simulation, evaluation, and synthesis.

Mario Barbacci

Proceedings of the 16th Design Automation Conference, 1979

1978

Using Emulation to Verify Formal Architecture Descriptions.

Mario R. Barbacci, Alan Parker

Computer, 1978

1977

Evaluation of the CFA Test Programs Via Formal Computer Descriptions.

Mario R. Barbacci, Daniel P. Siewiorek

Computer, 1977

An architectural research facility: ISP descriptions, simulation, data collection.

Mario Barbacci, Daniel P. Siewiorek, Robert J. Gordon, Rosemary Howbrigg, Susan Zuckerman

Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977

1976

The CMU RT-CAD system: an innovative approach to computer aided design.

Daniel P. Siewiorek, Mario Barbacci

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

1975

A Comparison of Register Transfer Languages for Describing Computers and Digital Systems.

Mario Barbacci

IEEE Trans. Computers, 1975

1973

ISP: A Notation to Describe A Computer's Instruction Sets.

Mario Barbacci, C. Gordon Bell, Daniel P. Siewiorek

Computer, 1973

PMS: A Notaton to Describe Comuter Sructures.

Mario Barbacci, C. Gordon Bell, Daniel P. Siewiorek

Computer, 1973

Automated Exploration of the Design Space for Register Transfer (RT) Systems.

Mario Barbacci, Daniel P. Siewiorek

Proceedings of the 1st Annual Symposium on Computer Architecture, 1973