chapter

Machine models and simulations

Author:

Peter van Emde BoasAuthors Info & Claims

Handbook of theoretical computer science (vol. A): algorithms and complexity

January 1991

Pages 1 - 66

Published: 02 January 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Laird JGorla D(2021)A compositional cost model for the λ-calculusProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470567(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470567
Dvir ZGolovnev AWeinstein OCharikar MCohen E(2019)Static data structure lower bounds imply rigidityProceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing10.1145/3313276.3316348(967-978)Online publication date: 23-Jun-2019
https://dl.acm.org/doi/10.1145/3313276.3316348
Forster YSmolka G(2019)Call-by-Value Lambda Calculus as a Model of Computation in CoqJournal of Automated Reasoning10.1007/s10817-018-9484-263:2(393-413)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10817-018-9484-2
Show More Cited By

Index Terms

Machine models and simulations
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
    2. Simulation theory
2. Theory of computation
  1. Logic
  2. Models of computation

Recommendations

Twin support vector machine: theory, algorithm and applications

Twin support vector machine (TWSVM) has gained increasing interest from various research fields recently. In this paper, we aim to report the current state of the theoretical research and practical advances on TWSVM. We first give the basic thought and ...
Component-based distributed simulations: the way forward?
PADS '04: Proceedings of the eighteenth workshop on Parallel and distributed simulation

Parallel simulation and distributed simulation sometimes appear to be two different worlds. Where parallel simulation aims at increasing the speed of a single model by distributing it over more processors, distributed simulation looks at ways to link ...
Stochastic Process Models for Packet/Analytic-Based Network Simulations
PADS '08: Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation

We present our preliminary work that develops a new approach to hybrid packet/analytic network simulations for improved network simulation fidelity, scale, and simulation efficiency. Much work in the literature addresses this topic, including [10] [11] [...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Handbook of theoretical computer science (vol. A): algorithms and complexity

January 1991

1062 pages

ISBN:0444880712

Editor:
Jan van Leeuwen
Utrecht Univ., The Netherlands

Publisher

MIT Press

Cambridge, MA, United States

Publication History

Published: 02 January 1991

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

44
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Laird JGorla D(2021)A compositional cost model for the λ-calculusProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470567(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470567
Dvir ZGolovnev AWeinstein OCharikar MCohen E(2019)Static data structure lower bounds imply rigidityProceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing10.1145/3313276.3316348(967-978)Online publication date: 23-Jun-2019
https://dl.acm.org/doi/10.1145/3313276.3316348
Forster YSmolka G(2019)Call-by-Value Lambda Calculus as a Model of Computation in CoqJournal of Automated Reasoning10.1007/s10817-018-9484-263:2(393-413)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10817-018-9484-2
Gimenez SMoser G(2016)The complexity of interactionACM SIGPLAN Notices10.1145/2914770.283764651:1(243-255)Online publication date: 11-Jan-2016
https://dl.acm.org/doi/10.1145/2914770.2837646
Gimenez SMoser GBodik RMajumdar R(2016)The complexity of interactionProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2837614.2837646(243-255)Online publication date: 11-Jan-2016
https://dl.acm.org/doi/10.1145/2837614.2837646
Bruner MLackner M(2016)A Fast Algorithm for Permutation Pattern Matching Based on Alternating RunsAlgorithmica10.1007/s00453-015-0013-y75:1(84-117)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s00453-015-0013-y
Skene JBlack AKrishnamurthi SBruegge BRuskiewicz J(2014)Description Logic as Programming LanguageProceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software10.1145/2661136.2661139(143-162)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2661136.2661139
Demri S(2013)On selective unboundedness of VASSJournal of Computer and System Sciences10.1016/j.jcss.2013.01.01479:5(689-713)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1016/j.jcss.2013.01.014
van Emde Boas P(2012)Turing machines for dummiesProceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science10.1007/978-3-642-27660-6_2(14-30)Online publication date: 21-Jan-2012
https://dl.acm.org/doi/10.1007/978-3-642-27660-6_2
Gelenbe E(2011)An Interview with Joseph F. TraubUbiquity10.1145/1940721.19418562011:FebruaryOnline publication date: 8-Feb-2011
https://dl.acm.org/doi/10.1145/1940721.1941856
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Twin support vector machine: theory, algorithm and applications

Component-based distributed simulations: the way forward?

Stochastic Process Models for Packet/Analytic-Based Network Simulations

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations