State-based model slicing

JOURNAL ARTICLE published August 2013 in ACM Computing Surveys

Research funded by Engineering and Physical Sciences Research Council (EP/F059442/1)

Authors: Kelly Androutsopoulos | David Clark | Mark Harman | Jens Krinke | Laurence Tratt

Indexing Highly Repetitive String Collections, Part II

JOURNAL ARTICLE published 31 March 2022 in ACM Computing Surveys

Research funded by Fondecyt (1-200038) | ANID Basal Funds (FB0001)

Authors: Gonzalo Navarro

Application Domain-Based Overview of IoT Network Traffic Characteristics

JOURNAL ARTICLE published 31 July 2021 in ACM Computing Surveys

Research funded by Scientific Grant Agency of The Ministry of Education, Science, Research and Sport of the Slovak Republic, and the Slovak Academy of Sciences (VEGA - 1/0663/17 2017-2020) | VUW?s Huawei NZ Research Programme, Software-Defined Green Internet of Things (E2881)

Authors: Adrian Pekar | Jozef Mocnej | Winston K. G. Seah | Iveta Zolotova

Analyzing algorithms by simulation

JOURNAL ARTICLE published June 1992 in ACM Computing Surveys

Authors: Catherine McGeoch

Preface to special issue on software verification

JOURNAL ARTICLE published October 2009 in ACM Computing Surveys

Authors: C. A. R. Hoare | Jayadev Misra

A Queueing Network Model of MVS

JOURNAL ARTICLE published September 1978 in ACM Computing Surveys

Authors: Jeffrey P. Buzen

On the notion of inheritance

JOURNAL ARTICLE published September 1996 in ACM Computing Surveys

Authors: Antero Taivalsaari

Software support for heterogeneous computing

JOURNAL ARTICLE published March 1996 in ACM Computing Surveys

Authors: Howard Jay Siegel | Henry G. Dietz | John K. Antonio

Designing an aspect-oriented framework in an object-oriented environment

JOURNAL ARTICLE published March 2000 in ACM Computing Surveys

Authors: Constantinos A. Constantinides | Atef Bader | Tzilla H. Elrad | P. Netinant | Mohamed E. Fayad

Scheduling issues in multimedia query optimization

JOURNAL ARTICLE published December 1995 in ACM Computing Surveys

Authors: Minos N. Garofalakis | Yannis E. Ioannidis

Resource-bounded reasoning in intelligent systems

JOURNAL ARTICLE published December 1996 in ACM Computing Surveys

Authors: Shlomo Zilberstein

Surveyor's Forum: A Dance Prelude

JOURNAL ARTICLE published December 1979 in ACM Computing Surveys

Authors: Maylun Buck-Lew

Surveyor's Forum: An Error Recovery

JOURNAL ARTICLE published September 1977 in ACM Computing Surveys

Authors: Jack B. Dennis

Database Management Systems Development in the USSR

JOURNAL ARTICLE published September 1979 in ACM Computing Surveys

Authors: A. G. Dale

About This Issue…

JOURNAL ARTICLE published December 1979 in ACM Computing Surveys

Authors: Adele J. Goldberg

Surveyor's Forum: Working on Interpretations

JOURNAL ARTICLE published June 1980 in ACM Computing Surveys

Authors: Siba Mohanty

Surveyor's Forum: Determining a Search

JOURNAL ARTICLE published September 1980 in ACM Computing Surveys

Authors: Walter Wilson

Surveyor's Forum: Related Information

JOURNAL ARTICLE published March 1980 in ACM Computing Surveys

Authors: E. B. Fernandez

Guest Editorial…

JOURNAL ARTICLE published September 1976 in ACM Computing Surveys

Authors: Raymond T. Yeh

About This Issue…

JOURNAL ARTICLE published June 1980 in ACM Computing Surveys

Authors: Adele J. Goldberg