Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/computer/computer23.bht:"
download as .bib file
@article{DBLP:journals/computer/AnconaDGCF90,
author = {Massimo Ancona and
Gabriella Dodero and
Vittoria Gianuzzi and
Andrea Clematis and
Eduardo B. Fern{\'{a}}ndez},
title = {A System Architecture for Fault Tolerance in Concurrent Software},
journal = {Computer},
volume = {23},
number = {10},
pages = {23--32},
year = {1990},
url = {https://doi.org/10.1109/2.58234},
doi = {10.1109/2.58234},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/AnconaDGCF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Anonymous90,
title = {Gigabit Network Testbeds},
journal = {Computer},
volume = {23},
number = {9},
pages = {77--80},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10088},
doi = {10.1109/MC.1990.10088},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Anonymous90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Berlack90,
author = {H. Ronald Berlack},
title = {How Not to Write Commerical Standards},
journal = {Computer},
volume = {23},
number = {5},
pages = {79--81},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10045},
doi = {10.1109/MC.1990.10045},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Berlack90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BerlinW90,
author = {Andrew A. Berlin and
Daniel Weise},
title = {Compiling Scientific Code Using Partial Evaluation},
journal = {Computer},
volume = {23},
number = {12},
pages = {25--37},
year = {1990},
url = {https://doi.org/10.1109/2.62091},
doi = {10.1109/2.62091},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BerlinW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Black90,
author = {David L. Black},
title = {Scheduling Support for Concurrency and Parallelism in the Mach Operating
System},
journal = {Computer},
volume = {23},
number = {5},
pages = {35--43},
year = {1990},
url = {https://doi.org/10.1109/2.53353},
doi = {10.1109/2.53353},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/Black90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BoykinL90,
author = {Joseph Boykin and
Susan J. LoVerso},
title = {Recent Developments in Operating Systems - Gust Editors' Introduction},
journal = {Computer},
volume = {23},
number = {5},
pages = {5--6},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10044},
doi = {10.1109/MC.1990.10044},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BoykinL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Buckley90,
author = {Fletcher J. Buckley},
title = {A Standard Environment for Software Production},
journal = {Computer},
volume = {23},
number = {1},
pages = {75--77},
year = {1990},
url = {https://doi.org/10.1109/2.48800},
doi = {10.1109/2.48800},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Buckley90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Buckley90a,
author = {Fletcher J. Buckley},
title = {A Standard for Extremely Low Frequency Magnetic Fields},
journal = {Computer},
volume = {23},
number = {4},
pages = {95--97},
year = {1990},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Buckley90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Buckley90b,
author = {Fletcher J. Buckley},
title = {Establishing a Standard Metrics Program},
journal = {Computer},
volume = {23},
number = {6},
pages = {85--86},
year = {1990},
url = {https://doi.org/10.1109/2.55506},
doi = {10.1109/2.55506},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Buckley90b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ChaikenFKA90,
author = {David Chaiken and
Craig Fields and
Kiyoshi Kurihara and
Anant Agarwal},
title = {Directory-Based cache Coherence in Large-Scale Multiprocessors},
journal = {Computer},
volume = {23},
number = {6},
pages = {49--58},
year = {1990},
url = {https://doi.org/10.1109/2.55500},
doi = {10.1109/2.55500},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ChaikenFKA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ChampineGR90,
author = {George A. Champine and
Daniel E. Geer Jr. and
William Ruh},
title = {Project Athena as a Distributed Computer System},
journal = {Computer},
volume = {23},
number = {9},
pages = {40--51},
year = {1990},
url = {https://doi.org/10.1109/2.58217},
doi = {10.1109/2.58217},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ChampineGR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CheanF90,
author = {Mengly Chean and
Jos{\'{e}} A. B. Fortes},
title = {A Taxonomy of Reconfiguration Techniques for Fault-Tolerant Processor
Arrays},
journal = {Computer},
volume = {23},
number = {1},
pages = {55--69},
year = {1990},
url = {https://doi.org/10.1109/2.48799},
doi = {10.1109/2.48799},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CheanF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CheongV90,
author = {Hoichi Cheong and
Alexander V. Veidenbaum},
title = {Compiler-Directed Cache Management in Multiprocessors},
journal = {Computer},
volume = {23},
number = {6},
pages = {39--47},
year = {1990},
url = {https://doi.org/10.1109/2.55499},
doi = {10.1109/2.55499},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CheongV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CrosbyS90,
author = {Martha E. Crosby and
Jan Stelovsky},
title = {How Do We Read Algorithms? {A} Case Study},
journal = {Computer},
volume = {23},
number = {1},
pages = {24--35},
year = {1990},
url = {https://doi.org/10.1109/2.48797},
doi = {10.1109/2.48797},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CrosbyS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CzejdoERE90,
author = {Bogdan D. Czejdo and
Ramez Elmasri and
Marek Rusinkiewicz and
David W. Embley},
title = {A Graphical Data Manipulation Language for an Extended Entity-Relationship
Model},
journal = {Computer},
volume = {23},
number = {3},
pages = {26--36},
year = {1990},
url = {https://doi.org/10.1109/2.50270},
doi = {10.1109/2.50270},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CzejdoERE90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DarraghWJ90,
author = {John J. Darragh and
Ian H. Witten and
Mark L. James},
title = {The Reactive Keyboard: {A} Predicive Typing Aid},
journal = {Computer},
volume = {23},
number = {11},
pages = {41--49},
year = {1990},
url = {https://doi.org/10.1109/2.60879},
doi = {10.1109/2.60879},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/DarraghWJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DasKTB90,
author = {Chita R. Das and
Jeffrey T. Kreulen and
Matthew Thazhuthaveetil and
Laxmi N. Bhuyan},
title = {Dependability Modeling for Multiprocessors},
journal = {Computer},
volume = {23},
number = {10},
pages = {7--19},
year = {1990},
url = {https://doi.org/10.1109/2.58233},
doi = {10.1109/2.58233},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/DasKTB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Dasgupta90,
author = {Subrata Dasgupta},
title = {A Hierarchical Taxonomic System for Computer Architectures},
journal = {Computer},
volume = {23},
number = {3},
pages = {64--74},
year = {1990},
url = {https://doi.org/10.1109/2.50273},
doi = {10.1109/2.50273},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Dasgupta90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DuboisT90,
author = {Michel Dubois and
Shreekant S. Thakkar},
title = {Cache Architectures in Tightly Coupled Multiprocessors - Guest Editors'
Introduction to the Special Issue},
journal = {Computer},
volume = {23},
number = {6},
pages = {9--11},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10053},
doi = {10.1109/MC.1990.10053},
timestamp = {Sat, 04 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/DuboisT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Duncan90,
author = {Ralph Duncan},
title = {A Survey of Parallel Computer Architectures},
journal = {Computer},
volume = {23},
number = {2},
pages = {5--16},
year = {1990},
url = {https://doi.org/10.1109/2.44900},
doi = {10.1109/2.44900},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Duncan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/FeitelsonR90,
author = {Dror G. Feitelson and
Larry Rudolph},
title = {Distributed Hierarchical Control for Parallel Processing},
journal = {Computer},
volume = {23},
number = {5},
pages = {65--77},
year = {1990},
url = {https://doi.org/10.1109/2.53356},
doi = {10.1109/2.53356},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/FeitelsonR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/FooT90,
author = {Simon Y. Foo and
Yoshiyasu Takefuji},
title = {Databases and Cell-Selection Algorithms for {VLSI} Cell Libraries},
journal = {Computer},
volume = {23},
number = {2},
pages = {18--30},
year = {1990},
url = {https://doi.org/10.1109/2.44902},
doi = {10.1109/2.44902},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/FooT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/FranklinS90,
author = {Manoj Franklin and
Kewal K. Saluja},
title = {Built-in Self-testing of Random-Access Memories},
journal = {Computer},
volume = {23},
number = {10},
pages = {45--56},
year = {1990},
url = {https://doi.org/10.1109/2.58236},
doi = {10.1109/2.58236},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/FranklinS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Freundlich90,
author = {Yehudah Freundlich},
title = {Knowledge Bases and Databases: Converging Technologies, Diverging
Interests},
journal = {Computer},
volume = {23},
number = {11},
pages = {51--57},
year = {1990},
url = {https://doi.org/10.1109/2.60880},
doi = {10.1109/2.60880},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Freundlich90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Frieder90,
author = {Ophir Frieder},
title = {Multiprocessor Algorithms for Relational-Database Operators on Hypercube
Systems},
journal = {Computer},
volume = {23},
number = {11},
pages = {13--28},
year = {1990},
url = {https://doi.org/10.1109/2.60877},
doi = {10.1109/2.60877},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Frieder90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/FujiwaraP90,
author = {Eiji Fujiwara and
Dhiraj K. Pradhan},
title = {Error-Control Coding in Computers},
journal = {Computer},
volume = {23},
number = {7},
pages = {63--72},
year = {1990},
url = {https://doi.org/10.1109/2.56853},
doi = {10.1109/2.56853},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/FujiwaraP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GeistT90,
author = {Robert Geist and
Kishor S. Trivedi},
title = {Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques},
journal = {Computer},
volume = {23},
number = {7},
pages = {52--61},
year = {1990},
url = {https://doi.org/10.1109/2.56852},
doi = {10.1109/2.56852},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GeistT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Gibson90,
author = {Ronald W. Gibson},
title = {{IEEE} Project 802 Standards Effords},
journal = {Computer},
volume = {23},
number = {8},
pages = {84--88},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10078},
doi = {10.1109/MC.1990.10078},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Gibson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GraunkeT90,
author = {Gary Graunke and
Shreekant S. Thakkar},
title = {Synchronization Algorithms for Shared-Memory Multiprocessors},
journal = {Computer},
volume = {23},
number = {6},
pages = {60--69},
year = {1990},
url = {https://doi.org/10.1109/2.55501},
doi = {10.1109/2.55501},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GraunkeT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GriesM90,
author = {David Gries and
Dorothy Marsh},
title = {The 1988-89 Taulbee Survey Report},
journal = {Computer},
volume = {23},
number = {10},
pages = {65--71},
year = {1990},
url = {https://doi.org/10.1109/2.58238},
doi = {10.1109/2.58238},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GriesM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Isaak90,
author = {James Isaak},
title = {Applications Environment Profiles: {A} Significant Tool for Simplifying
and Coordinating Standards Efforts},
journal = {Computer},
volume = {23},
number = {2},
pages = {69--70},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10013},
doi = {10.1109/MC.1990.10013},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Isaak90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Isaak90a,
author = {James Isaak},
title = {The History of Posix: {A} Study in the Standards Process},
journal = {Computer},
volume = {23},
number = {7},
pages = {89--92},
year = {1990},
url = {https://doi.org/10.1109/2.56856},
doi = {10.1109/2.56856},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Isaak90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Kamel90,
author = {Ragui Kamel},
title = {Voice in Computing - Guest Editor's Introduction to the Special Issue},
journal = {Computer},
volume = {23},
number = {8},
pages = {8--9},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10081},
doi = {10.1109/MC.1990.10081},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Kamel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KamelEE90,
author = {Ragui Kamel and
Kamyar Emami and
Robert Eckert},
title = {{PX:} Supporting Voice in Workstations},
journal = {Computer},
volume = {23},
number = {8},
pages = {73--80},
year = {1990},
url = {https://doi.org/10.1109/2.56874},
doi = {10.1109/2.56874},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/KamelEE90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Kemp90,
author = {Alasdair Kemp},
title = {Information Technology Standardization is Key Area of Interest to
{IEE}},
journal = {Computer},
volume = {23},
number = {12},
pages = {76--78},
year = {1990},
url = {https://doi.org/10.1109/2.62095},
doi = {10.1109/2.62095},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Kemp90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KorenS90,
author = {Israel Koren and
Adit D. Singh},
title = {Fault Tolerance in {VLSI} Circuits},
journal = {Computer},
volume = {23},
number = {7},
pages = {73--83},
year = {1990},
url = {https://doi.org/10.1109/2.56854},
doi = {10.1109/2.56854},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/KorenS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LaprieABK90,
author = {Jean{-}Claude Laprie and
Jean Arlat and
Christian B{\'{e}}ounes and
Karama Kanoun},
title = {Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures},
journal = {Computer},
volume = {23},
number = {7},
pages = {39--51},
year = {1990},
url = {https://doi.org/10.1109/2.56851},
doi = {10.1109/2.56851},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LaprieABK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lawson90,
author = {Harold W. Lawson},
title = {Philosophies for Engineering Computer-Based Systems},
journal = {Computer},
volume = {23},
number = {12},
pages = {52--63},
year = {1990},
url = {https://doi.org/10.1109/2.62093},
doi = {10.1109/2.62093},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Lawson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Leler90,
author = {William Leler},
title = {Linda Meets {UNIX}},
journal = {Computer},
volume = {23},
number = {2},
pages = {43--54},
year = {1990},
url = {https://doi.org/10.1109/2.44903},
doi = {10.1109/2.44903},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Leler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lenning90,
author = {Matthew Lenning},
title = {Putting Speech Recognition to Work in the Telephone Network},
journal = {Computer},
volume = {23},
number = {8},
pages = {35--41},
year = {1990},
url = {https://doi.org/10.1109/2.56869},
doi = {10.1109/2.56869},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Lenning90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LeungW90,
author = {Kwong{-}Sak Leung and
Man Hon Wong},
title = {An Expert-System Shell Using Structured Knowledge: An Object-Oriented
Approach},
journal = {Computer},
volume = {23},
number = {3},
pages = {38--47},
year = {1990},
url = {https://doi.org/10.1109/2.50271},
doi = {10.1109/2.50271},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LeungW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LiangCN90,
author = {Luping Liang and
Samuel T. Chanson and
Gerald W. Neufeld},
title = {Process Groups and Group Communications: Classifications and Requirements},
journal = {Computer},
volume = {23},
number = {2},
pages = {56--66},
year = {1990},
url = {https://doi.org/10.1109/2.44904},
doi = {10.1109/2.44904},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LiangCN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LudwigPC90,
author = {Lester F. Ludwig and
Natalio Pincever and
Michael Cohen},
title = {Extending the Notion of a Window System to Audio},
journal = {Computer},
volume = {23},
number = {8},
pages = {66--72},
year = {1990},
url = {https://doi.org/10.1109/2.56873},
doi = {10.1109/2.56873},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LudwigPC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Manber90,
author = {Udi Manber},
title = {Chain Reactions in Networks},
journal = {Computer},
volume = {23},
number = {10},
pages = {57--63},
year = {1990},
url = {https://doi.org/10.1109/2.58237},
doi = {10.1109/2.58237},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Manber90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MarkasRK90,
author = {Tassos Markas and
Mark Royals and
Nick Kanopoulos},
title = {On Distributed Fault Simulation},
journal = {Computer},
volume = {23},
number = {1},
pages = {40--52},
year = {1990},
url = {https://doi.org/10.1109/2.48798},
doi = {10.1109/2.48798},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MarkasRK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/McCluskey90,
author = {Edward J. McCluskey},
title = {Design Techniques for Testable Embedded Error Checkers},
journal = {Computer},
volume = {23},
number = {7},
pages = {84--88},
year = {1990},
url = {https://doi.org/10.1109/2.56855},
doi = {10.1109/2.56855},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/McCluskey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/McFarland90,
author = {Michael C. McFarland},
title = {Urgency of Ethical Standards Intensifies in Computer Community},
journal = {Computer},
volume = {23},
number = {3},
pages = {77--81},
year = {1990},
url = {https://doi.org/10.1109/2.50274},
doi = {10.1109/2.50274},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/McFarland90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/McLean90,
author = {John McLean},
title = {The Specification and Modeling of Computer Security},
journal = {Computer},
volume = {23},
number = {1},
pages = {9--16},
year = {1990},
url = {https://doi.org/10.1109/2.48795},
doi = {10.1109/2.48795},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/McLean90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MinkCNR90,
author = {Alan Mink and
Robert J. Carpenter and
George Nacht and
John W. Roberts},
title = {Multiprocessor Performance-Measurement Instrumentation},
journal = {Computer},
volume = {23},
number = {9},
pages = {63--75},
year = {1990},
url = {https://doi.org/10.1109/2.58219},
doi = {10.1109/2.58219},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MinkCNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Mooney90,
author = {James D. Mooney},
title = {Strategies for Supporting Application Portability},
journal = {Computer},
volume = {23},
number = {11},
pages = {59--70},
year = {1990},
url = {https://doi.org/10.1109/2.60881},
doi = {10.1109/2.60881},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Mooney90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MorenoL90,
author = {Jaime H. Moreno and
Tom{\'{a}}s Lang},
title = {Matrix Computations on Systolic-Type Meshes},
journal = {Computer},
volume = {23},
number = {4},
pages = {32--51},
year = {1990},
url = {https://doi.org/10.1109/2.55468},
doi = {10.1109/2.55468},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MorenoL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MullenderRTRS90,
author = {Sape J. Mullender and
Guido van Rossum and
Andrew S. Tanenbaum and
Robbert van Renesse and
Hans van Staveren},
title = {Amoeba: {A} Distributed Operating System for the 1990s},
journal = {Computer},
volume = {23},
number = {5},
pages = {44--53},
year = {1990},
url = {https://doi.org/10.1109/2.53354},
doi = {10.1109/2.53354},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MullenderRTRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MyersGDZKPMM90,
author = {Brad A. Myers and
Dario A. Giuse and
Roger B. Dannenberg and
Brad T. Vander Zanden and
David S. Kosbie and
Edward Pervin and
Andrew Mickish and
Philippe Marchal},
title = {Garnet: Comprehensive Support for Graphical, Highly Interactive User
Interfaces},
journal = {Computer},
volume = {23},
number = {11},
pages = {71--85},
year = {1990},
url = {https://doi.org/10.1109/2.60882},
doi = {10.1109/2.60882},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MyersGDZKPMM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Nakatsu90,
author = {Ryohei Nakatsu},
title = {Anser: An Application of Speech Technology to the Japanese Banking
Industry},
journal = {Computer},
volume = {23},
number = {8},
pages = {43--48},
year = {1990},
url = {https://doi.org/10.1109/2.56870},
doi = {10.1109/2.56870},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Nakatsu90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Nelson90,
author = {Victor P. Nelson},
title = {Fault-Tolerant Computing: Fundamental Concepts},
journal = {Computer},
volume = {23},
number = {7},
pages = {19--25},
year = {1990},
url = {https://doi.org/10.1109/2.56849},
doi = {10.1109/2.56849},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Nelson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/OMalley90,
author = {Michael H. O'Malley},
title = {Text-To-Speech Conversion Technology},
journal = {Computer},
volume = {23},
number = {8},
pages = {17--23},
year = {1990},
url = {https://doi.org/10.1109/2.56867},
doi = {10.1109/2.56867},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/OMalley90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/PancakeB90,
author = {Cherri M. Pancake and
Donna Bergmark},
title = {Do Parallel Languages Respond to the Needs of Scientific Programmers?},
journal = {Computer},
volume = {23},
number = {12},
pages = {13--23},
year = {1990},
url = {https://doi.org/10.1109/2.62090},
doi = {10.1109/2.62090},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/PancakeB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Parnas90,
author = {David Lorge Parnas},
title = {Education for Computing Professionals},
journal = {Computer},
volume = {23},
number = {1},
pages = {17--22},
year = {1990},
url = {https://doi.org/10.1109/2.48796},
doi = {10.1109/2.48796},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Parnas90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/PavlidisSW90,
author = {Theodosios Pavlidis and
Jerome Swartz and
Yujiun P. Wang},
title = {Fundamentals of Bar Code Information Theory},
journal = {Computer},
volume = {23},
number = {4},
pages = {74--86},
year = {1990},
url = {https://doi.org/10.1109/2.55471},
doi = {10.1109/2.55471},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/PavlidisSW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/PeacockeG90,
author = {Richard D. Peacocke and
Daryl H. Graf},
title = {An Introduction to Speech and Speaker Recognition},
journal = {Computer},
volume = {23},
number = {8},
pages = {26--33},
year = {1990},
url = {https://doi.org/10.1109/2.56868},
doi = {10.1109/2.56868},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/PeacockeG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/PetersonHOR90,
author = {Larry L. Peterson and
Norman C. Hutchinson and
Sean W. O'Malley and
Herman C. Rao},
title = {The x-kernel: {A} Platform for Accessing Internet Resources},
journal = {Computer},
volume = {23},
number = {5},
pages = {23--33},
year = {1990},
url = {https://doi.org/10.1109/2.53352},
doi = {10.1109/2.53352},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/PetersonHOR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RamanathanSB90,
author = {Parameswaran Ramanathan and
Kang G. Shin and
Ricky W. Butler},
title = {Fault-Tolerant Clock Synchronization in Distributed Systems},
journal = {Computer},
volume = {23},
number = {10},
pages = {33--42},
year = {1990},
url = {https://doi.org/10.1109/2.58235},
doi = {10.1109/2.58235},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RamanathanSB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RettbergCCT90,
author = {Randall Rettberg and
William R. Crowther and
Philip P. Carvey and
Raymond S. Tomlinson},
title = {The Monarch Parallel Processor Hardware Design},
journal = {Computer},
volume = {23},
number = {4},
pages = {18--30},
year = {1990},
url = {https://doi.org/10.1109/2.55467},
doi = {10.1109/2.55467},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RettbergCCT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RosingP90,
author = {Wayne E. Rosing and
Matt M. Perez},
title = {The Evolving Relationship Between Open Standards and Technology},
journal = {Computer},
volume = {23},
number = {9},
pages = {82--84},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10089},
doi = {10.1109/MC.1990.10089},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RosingP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/SalisburyHLFM90,
author = {Mark W. Salisbury and
Joseph H. Hendrickson and
Terence L. Lammers and
Caroline Fu and
Scott A. Moody},
title = {Talk and Draw: Bundling Speech and Graphics},
journal = {Computer},
volume = {23},
number = {8},
pages = {59--65},
year = {1990},
url = {https://doi.org/10.1109/2.56872},
doi = {10.1109/2.56872},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/SalisburyHLFM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Satyanarayanan90,
author = {Mahadev Satyanarayanan},
title = {Scalable, Secure, and Highly Available Distributed File Access},
journal = {Computer},
volume = {23},
number = {5},
pages = {9--21},
year = {1990},
url = {https://doi.org/10.1109/2.53351},
doi = {10.1109/2.53351},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Satyanarayanan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/SchmandtAH90,
author = {Chris Schmandt and
Mark S. Ackerman and
Debby Hindus},
title = {Augmenting a Window System with Speech Input},
journal = {Computer},
volume = {23},
number = {8},
pages = {50--56},
year = {1990},
url = {https://doi.org/10.1109/2.56871},
doi = {10.1109/2.56871},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/SchmandtAH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Seacord90,
author = {Robert C. Seacord},
title = {User Interface Management Systems and Application Portability},
journal = {Computer},
volume = {23},
number = {10},
pages = {73--75},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10093},
doi = {10.1109/MC.1990.10093},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/Seacord90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ShaG90,
author = {Lui Sha and
John B. Goodenough},
title = {Real-Time Scheduling Theory and Ada},
journal = {Computer},
volume = {23},
number = {4},
pages = {53--62},
year = {1990},
url = {https://doi.org/10.1109/2.55469},
doi = {10.1109/2.55469},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ShaG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Siewiorek90,
author = {Daniel P. Siewiorek},
title = {Fault Tolerance in Commercial Computers},
journal = {Computer},
volume = {23},
number = {7},
pages = {26--37},
year = {1990},
url = {https://doi.org/10.1109/2.56850},
doi = {10.1109/2.56850},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Siewiorek90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/SinghM90,
author = {Adit D. Singh and
Singaravel Murugesan},
title = {Fault-Tolerant Systems - Guest Editors' Introduction to the Special
Issue},
journal = {Computer},
volume = {23},
number = {7},
pages = {15--17},
year = {1990},
url = {https://doi.org/10.1109/2.56848},
doi = {10.1109/2.56848},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/SinghM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Skillicorn90,
author = {David B. Skillicorn},
title = {Architecture-Independent Parallel Computation},
journal = {Computer},
volume = {23},
number = {12},
pages = {38--50},
year = {1990},
url = {https://doi.org/10.1109/2.62092},
doi = {10.1109/2.62092},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/Skillicorn90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Smith90,
author = {Alan Jay Smith},
title = {The Task of the Referee},
journal = {Computer},
volume = {23},
number = {4},
pages = {65--71},
year = {1990},
url = {https://doi.org/10.1109/2.55470},
doi = {10.1109/2.55470},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Smith90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Stasko90,
author = {John T. Stasko},
title = {Tango: {A} Framework and System for Algorithm Animation},
journal = {Computer},
volume = {23},
number = {9},
pages = {27--39},
year = {1990},
url = {https://doi.org/10.1109/2.58216},
doi = {10.1109/2.58216},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Stasko90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Stenstrom90,
author = {Per Stenstr{\"{o}}m},
title = {A Survey of Cache Coherence Schemes for Multiprocessors},
journal = {Computer},
volume = {23},
number = {6},
pages = {12--24},
year = {1990},
url = {https://doi.org/10.1109/2.55497},
doi = {10.1109/2.55497},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Stenstrom90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Stern90,
author = {John P. Stern},
title = {An American's View of the Japanese Standards System},
journal = {Computer},
volume = {23},
number = {11},
pages = {87--89},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/MC.1990.10111},
doi = {10.1109/MC.1990.10111},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Stern90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Strathmeyer90,
author = {Carl R. Strathmeyer},
title = {Voice in Computing: An Overview of Available Technologies},
journal = {Computer},
volume = {23},
number = {8},
pages = {10--15},
year = {1990},
url = {https://doi.org/10.1109/2.56866},
doi = {10.1109/2.56866},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Strathmeyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/StummZ90,
author = {Michael Stumm and
Songnian Zhou},
title = {Algorithms Implementing Distributed Shared Memory},
journal = {Computer},
volume = {23},
number = {5},
pages = {54--64},
year = {1990},
url = {https://doi.org/10.1109/2.53355},
doi = {10.1109/2.53355},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/StummZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Teller90,
author = {Patricia J. Teller},
title = {Translation-Lookaside Buffer Consistency},
journal = {Computer},
volume = {23},
number = {6},
pages = {26--36},
year = {1990},
url = {https://doi.org/10.1109/2.55498},
doi = {10.1109/2.55498},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Teller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ThakkarDLSJGTDCD90,
author = {Shreekant S. Thakkar and
Michel Dubois and
Anthony T. Laundrie and
Gurindar S. Sohi and
David V. James and
Stein Gjessing and
Manu Thapar and
Bruce Delagi and
Michael J. Carlton and
Alvin M. Despain},
title = {Scalable Shared-Memory Multiprocessor Architectures},
journal = {Computer},
volume = {23},
number = {6},
pages = {71--83},
year = {1990},
url = {https://doi.org/10.1109/2.55502},
doi = {10.1109/2.55502},
timestamp = {Sat, 04 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/ThakkarDLSJGTDCD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/TsaiFC90,
author = {Jeffrey J. P. Tsai and
Kwang{-}Ya Fang and
Horng{-}Yuan Chen},
title = {A Noninvasive Architecture to Monitor Real-Time Distributed Systems},
journal = {Computer},
volume = {23},
number = {3},
pages = {11--23},
year = {1990},
url = {https://doi.org/10.1109/2.50269},
doi = {10.1109/2.50269},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/TsaiFC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Walters90,
author = {Richard F. Walters},
title = {Design of a Bitmapped Multilingual Workstation},
journal = {Computer},
volume = {23},
number = {2},
pages = {33--41},
year = {1990},
url = {https://doi.org/10.1109/2.44901},
doi = {10.1109/2.44901},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Walters90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/WassermanPM90,
author = {Anthony I. Wasserman and
Peter A. Pircher and
Robert J. Muller},
title = {The Object-Oriented Structured Design Notation for Software Design
Representation},
journal = {Computer},
volume = {23},
number = {3},
pages = {50--63},
year = {1990},
url = {https://doi.org/10.1109/2.50272},
doi = {10.1109/2.50272},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/WassermanPM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Weicker90,
author = {Reinhold Weicker},
title = {An Overview of Common Benchmarks},
journal = {Computer},
volume = {23},
number = {12},
pages = {65--75},
year = {1990},
url = {https://doi.org/10.1109/2.62094},
doi = {10.1109/2.62094},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Weicker90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Wing90,
author = {Jeannette M. Wing},
title = {A Specifier's Introduction to Formal Methods},
journal = {Computer},
volume = {23},
number = {9},
pages = {8--24},
year = {1990},
url = {https://doi.org/10.1109/2.58215},
doi = {10.1109/2.58215},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Wing90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Zelkowitz90,
author = {Marvin V. Zelkowitz},
title = {A Functional Correctness Model of Program Verification},
journal = {Computer},
volume = {23},
number = {11},
pages = {30--39},
year = {1990},
url = {https://doi.org/10.1109/2.60878},
doi = {10.1109/2.60878},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Zelkowitz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ZieglerW90,
author = {Chaim Ziegler and
Gerald Weiss},
title = {Multimedia Conferencing on Local Area Networks},
journal = {Computer},
volume = {23},
number = {9},
pages = {52--61},
year = {1990},
url = {https://doi.org/10.1109/2.58218},
doi = {10.1109/2.58218},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ZieglerW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-23 23:49 CEST from data curated 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:
