default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMario Barbacci
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2000
[c23]Nenad Ivezic, Mario Barbacci, John Robert, Don Libes, Thomas E. Potok
:
An Analysis of a Supply Chain Management Agent Architecture. ICMAS 2000: 401-402
1990 – 1999
- 1999
- [c22]Rick Kazman, Mario Barbacci, Mark Klein, S. Jeromy Carrière, Steven G. Woods:
Experience with Performing Architecture Tradeoff Analysis. ICSE 1999: 54-63 - [c21]Mark H. Klein, Rick Kazman, Leonard J. Bass, S. Jeromy Carrière, Mario Barbacci, Howard F. Lipson:
Attribute-Based Architecture Styles. WICSA 1999: 225-244 - 1998
- [c20]Rick Kazman, Mark H. Klein, Mario Barbacci, Thomas A. Longstaff, Howard F. Lipson, S. Jeromy Carrière:
The Architecture Tradeoff Analysis Method. ICECCS 1998: 68-78 - 1994
- [j14]Mario Barbacci:
Panel Presents First Four Recommendations Aimed at Establisting Software Engineering as a Profession. Computer 27(2): 80-82 (1994) - 1993
- [j13]James R. Cordy, Mario Barbacci:
Introduction to the Special Issue on ICCL '92. Comput. Lang. 19(2): 63-64 (1993) - [j12]Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota:
Durra: a structure description language for developing distributed applications. Softw. Eng. J. 8(2): 83-94 (1993) - [c19]Mario Barbacci:
Real Time Distributed Systems. CHDL 1993: 3-12 - 1992
- [j11]Yaohan Chu, Donald L. Dietmeyer, James R. Duley, Fredrick J. Hill, Mario Barbacci, Charles W. Rose, Greg M. Ordy, Bill Johnson, Martin Roberts:
Three Decades of HDLs: Part I, CDL Through TI-HDL. IEEE Des. Test Comput. 9(2): 69-81 (1992) - [c18]Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota:
Building fault tolerant distributed applications with Durra. CDS 1992: 128-139 - [e1]James R. Cordy, Mario Barbacci:
ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. IEEE Computer Society 1992, ISBN 0-8186-2585-6 [contents] - 1991
- [c17]Mario Barbacci, Randall W. Lichota:
Durra: an integrated approach to software specification, modeling and rapid prototyping. RSP 1991: 67-81 - [c16]Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota:
Building distributed Ada applications from specifications and functional components. TRI-Ada 1991: 143-154 - 1990
- [c15]Mario Barbacci, Jeannette M. Wing:
A Language for Distributed Applications. ICCL 1990: 59-68 - [c14]Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock:
Application-Level Programming. ICDCS 1990: 458-465
1980 – 1989
- 1989
- [j10]Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing:
Developing Applications for Heterogeneous Machine Networks: The Durra Network. Comput. Syst. 2(1): 7-35 (1989) - 1988
- [c13]Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing:
Programming at the Processor-Memory-Switch Level. ICSE 1988: 19-29 - 1987
- [c12]Mario Barbacci, Jeannette M. Wing:
DURRA : A Task-Level Description Language. ICPP 1987: 370-376 - [c11]Mario Barbacci, Jeannette M. Wing:
Specifying Functional and Timing Behavior for Real-Time Applications. PARLE (2) 1987: 124-140 - 1985
- [j9]Jovan Djordjevic, Mario Barbacci, Brad Hosler:
A PMS Level Notation for the Description and Simulation of Digital Systems. Comput. J. 28(4): 357-365 (1985) - [j8]Mario Barbacci, A. Nico Habermann:
The Engineering Institute: Bridging Practice and Potential. IEEE Softw. 2(6): 4-21 (1985) - [c10]Mario R. Barbacci, W. H. Maddox, T. D. Newton, R. G. Stockton:
The Ada+ front end and coder generator. SIGAda 1985: 343-354 - 1983
- [b1]Robert Piloty, Dominique Borrione, Mario Barbacci, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
CONLAN Report. Lecture Notes in Computer Science 151, Springer 1983, ISBN 3-540-12275-3 - 1981
- [j7]Mario Barbacci:
Instruction Set Processor Specifications (ISPS): The Notation and Its Applications. IEEE Trans. Computers 30(1): 24-40 (1981) - [j6]Andries van Dam, Mario Barbacci, Constantine Halatsis, J. Joosten, M. Letheren:
Simulation of a Horizontal Bit-Sliced Processor Using the ISPS Architecture Simulation Facility. IEEE Trans. Computers 30(7): 513-519 (1981) - 1980
- [c9]Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
CONLAN: a formal construction method for hardware description languages: basic principles. AFIPS National Computer Conference 1980: 209-217 - [c8]Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
CONLAN: a formal construction method for hardware description languages: language derivation. AFIPS National Computer Conference 1980: 219-227 - [c7]Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
CONLAN: a formal construction method for hardware description languages: language application. AFIPS National Computer Conference 1980: 229-236 - [c6]Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly:
An Overview of CONLAN: A Formal Construction Method for Hardware Description Language. IFIP Congress 1980: 199-204
1970 – 1979
- 1979
- [c5]Mario Barbacci:
Instruction set processor specifications for simulation, evaluation, and synthesis. DAC 1979: 64-72 - [c4]Alice C. Parker, Donald E. Thomas, Daniel P. Siewiorek, Mario Barbacci, Louis J. Hafer, Gary W. Leive, Jinchoon Kim:
The CMU design automation system: An example of automated data path design. DAC 1979: 73-80 - 1978
- [j5]Mario R. Barbacci, Alan Parker:
Using Emulation to Verify Formal Architecture Descriptions. Computer 11(5): 51-56 (1978) - 1977
- [j4]Mario R. Barbacci, Daniel P. Siewiorek:
Evaluation of the CFA Test Programs Via Formal Computer Descriptions. Computer 10(10): 36-43 (1977) - [c3]Mario Barbacci, Daniel P. Siewiorek, Robert J. Gordon, Rosemary Howbrigg, Susan Zuckerman:
An architectural research facility: ISP descriptions, simulation, data collection. AFIPS National Computer Conference 1977: 161-173 - 1976
- [c2]Daniel P. Siewiorek, Mario Barbacci:
The CMU RT-CAD system: an innovative approach to computer aided design. AFIPS National Computer Conference 1976: 643-655 - 1975
- [j3]Mario Barbacci:
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems. IEEE Trans. Computers 24(2): 137-150 (1975) - 1973
- [j2]Mario Barbacci, C. Gordon Bell, Daniel P. Siewiorek:
PMS: A Notaton to Describe Comuter Sructures. Computer 6(3): 19-21 (1973) - [j1]Mario Barbacci, C. Gordon Bell, Daniel P. Siewiorek:
ISP: A Notation to Describe A Computer's Instruction Sets. Computer 6(3): 22-24 (1973) - [c1]Mario Barbacci, Daniel P. Siewiorek:
Automated Exploration of the Design Space for Register Transfer (RT) Systems. ISCA 1973: 101-106
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-07 19:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
