See this document in CiteSeerX!

Science and Engineering of Large Scale Socio-Technical Simulations  (Make Corrections)  
Chris Barrett, Stephen Eubank, Madhav Marathe, Henning Mortveit, Christian Reidys



  Home/Search   Context   Related

 
View or download:
thesimguy.com/GC/pap...G083_MARATHE.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  thesimguy.com/GC/WMC02 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Computer simulation is a computational approach whereby global system properties are produced as dynamics by direct computation of interactions among representations of local system elements. A mathematical theory of simulation consists of an account of the formal properties of sequential evaluation and composition of interdependent local mappings. When certain local mappings and their interdependencies can be related to particular real world objects and interdependencies, it is common to... (Update)

Active bibliography (related documents):   More   All
0.6:   Periodic Constraint Satisfaction Problems: Polynomial-Time.. - Chen   (Correct)
0.6:   Neutrality In Fitness Landscapes - Reidys, Stadler (1998)   (Correct)
0.6:   Combinatorial Landscapes - Reidys, Stadler (2002)   (Correct)

Similar documents based on text:   More   All
0.2:   Marketecture: A Simulation-Based Framework for.. - Atkins, Barrett.. (2004)   (Correct)
0.2:   Formal Language Constrained Path Problems - Barrett, Jacob, Marathe (1998)   (Correct)
0.2:   Model-based Monitoring of Piecewise Continuous Behaviors using .. - Rinner, Weiss   (Correct)

BibTeX entry:   (Update)

@misc{ barrett-science,
  author = "Chris Barrett and Stephen Eubank and Madhav Marathe and Henning Mortveit
    and Christian Reidys",
  title = "Science and Engineering of Large Scale Socio-Technical Simulations",
  url = "citeseer.ist.psu.edu/552995.html" }
Citations (may not include all citations):
4212   Computers and Intractability: A Guide to the Theory of NPcom.. (context) - Garey, Johnson - 1979
3972   Introduction to Algorithms (context) - Cormen, Leiserson et al. - 2000
2732   Communicating Sequential Processes (context) - Hoare - 1984
981   Introduction to Parallel Algorithms and Architectures: Array.. (context) - Leighton - 1992
653   Neural Networks and Physical Systems with Emergent Collectiv.. (context) - Hopfield - 1982
470   Design and Validation of Computer Protocols (context) - Holzmann - 1991
434   An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
168   Introduction to Graph Theory (context) - West - 1999
103   On Communicating Finite State Machines (context) - Brand, Zafiropulo - 1983
84   Game Theory (context) - Owen - 1995
67   Cellular Automata Ma- chines: A New Environment for Modeling (context) - Margolus, Toffoli - 1987
64   Lattice- Gas Automata for Navier Stokes Equation (context) - Frisch, Hasslacher et al. - 1986
39   Algorithms in Number Theory (context) - Lenstra, Lenstra - 1990
37   Model Checking of Hi- erarchical State Machines - Alur, Yannakakis - 1998
36   Dynamical systems: stability (context) - Robinson - 1999
31   Simulating Physics with Cellular Au- tomata (context) - Vichniac - 1984
28   Verifying Clocked Transition Systems - Kesten, Manna et al. - 1995
28   Physical Review Letters (context) - Moore, Undecidability et al. - 1990
27   Urban Transportation Networks: Equi- librium Analysis with M.. (context) - Sheffi - 1985
27   On Some Relations Be- tween Dynamical Systems and Transition.. - Asarin, Maler - 1994
22   Communicating Hierarchical State Machines - Alur, Kannan et al. - 1999
22   Mathematical modeling of the Internet (context) - Kelly - 2001
21   Generalized shifts: unpredictability and undecidability in D.. (context) - Moore - 1991
20   The Mathematics of Infectious Diseases (context) - Hethcote - 2000
17   Simple computation-universal cellular spaces (context) - Smith - 1971
16   Transient Length in Sequential Iterations of Threshold Funct.. (context) - Floren, Goles et al. - 1983
15   McGraw-Hill Book Company (context) - Kohavi, Finite - 1970
13   the complexity of verifying concurrent transition systems - Harel, Kupferman et al. - 1997
12   Formal Language Constrained Path Problems - Barrett, Jacob et al. - 2001
10   the Complexity of Relational Prob- lems for Finite State Pro.. - Shukla, Dlosenkran et al. - 1996
9   Complexity of Equivalence Problems for Concurrent Systems of.. - Rabinovich - 1997
8   AddisonWesley Publishing Co (context) - Aho, Hopcroft et al. - 1974
7   Capturing TCP Burstiness in Light Weight Simulations Technic.. - Huang, Heidemann - 2000
6   One-way cellular automata on Cayley graphs (context) - Roka - 1994
6   Elements of a Theory of simulation II: Sequential dynamical .. (context) - Barrett, Mortveit et al. - 2000
5   Asynchronous automata versus asyn- chronous cellular automat.. (context) - Pighizzini - 1994
5   Cambridge Uni- versity press (context) - Biggs, Theory - 1993
4   Gardens of Eden and Fixed Points in Sequential Dynamical Sys.. (context) - Barrett, Marathe et al. - 2001
4   the computational complexity of finite cellular automata (context) - Sutner - 1995
3   Morgan Kauf- mann (context) - Lynch - 1997
3   Complexity Theory (context) - Papadimitriou - 1994
3   Theory of Periodically Specified Problems: Complexity and Ap.. - Marcthe, Rosenkrantz et al. - 1998
3   Approximation Algorithms for PSPACE-Hard Hierarchically and .. - Marcthe, Stearns et al. - 1998
2   Deadlock Detection in Communicating Fi- nite State Machines .. (context) - Peng - 1997
2   Finite Automata Models for the Investigation of Dynamical Sy.. (context) - Schittenkopf, Deco et al. - 1997
2   the Predictability of Coupled Automata: An Allegory About Ch.. (context) - Buss, Papadimitriou et al. - 1991
2   Elements of a Theory of simulation I: Sequential CA over ran.. (context) - Barrett, Reidys - 1999
2   Emergent Local Control Properties in Particle Hopping Traffi.. - Barrett, Wolinsky et al. - 1995
2   Communicating and Mobile systems: the r-calculus (context) - Milner - 1999
2   Acyclic Orientations of Random Graphs (context) - Reidys - 1998
2   National Academy of Sciences (context) - Huberman, Glance et al. - 1999
2   Complexity issues in Discrete Hopfield networks (context) - Floren, Orponen - 1999
2   NP-Complete Problems in Cellular Automata (context) - Green - 1987
2   Minimizing Routing State for Light Weight Network Simulation.. - Huang, Heidemann - 2000
2   Proving Liveness for Networks of Communicating Finite State .. (context) - Gouda, Chang - 1986
1   An extended version of this work is available as: The small-.. (context) - Kleinberg, World - 1999
1   Network Tl'aflic as a Self Organized Critical Phenomenon (context) - Nagel, Rasmussen et al. - 1997
1   Approximation Algorithms for Broadcast Scheduling in Radio N.. (context) - Krumke, Marcthe et al. - 1998
1   Department of Mathematical Sciences (context) - Laubenbacher, Pareigis et al.
1   Algebraic Aspects in SDS Theory (context) - Laubenbacher, Reidys
1   Fixed Points of SDS (context) - Laubenbacher, Mortveit et al.
1   Mathematical Foundations of Computer Science (context) - Nicthiu, Remila et al.
1   rd Annual ACM Symposium on Theory of Computing (context) - Papadimitriou, games et al. - 2001
1   Complexity of Analysis and Verification Problems for Communi.. (context) - Rosenkrantz, Barrett et al. - 2001
1   To- wards a Predictive Computational Complexity Theory (context) - Stearns, Marcthe - 2001
1   On Acyclic Orientations and SDS (context) - Reidys - 2000
1   Adverserial models in evolutionary game dynamics (context) - Istrate, Marcthe et al. - 2001
1   Theory and applications of cellular automata (context) - Volfram - 1987
1   Dereg- ulated Power Markets: Models (context) - Barrett, Marathe et al. - 2001
1   SDS Based Specification of Large IP Networks Technical Repor.. (context) - Barrett, Marathe et al. - 2001
1   Random Subgraphs of Cayley Graphs over p-Groups (context) - Reidys - 2000
1   Phase space properties of SDS (context) - Reidys - 2001
1   katic Dynamical Systems is PSPACEComplete (context) - Arora, Rabani et al. - 1994
1   A Cellular Au- tomaton Machine for Fluid Dynamics (context) - Clouqueur, d'Humieres - 1990
1   th Annual Meeting of Transportation research Board (context) - Barrett, Beckman et al. - 2000
1   Modeling 100 000 Nodes and Beyond: Self-Validating Design - Cowie, Nicol et al. - 1999
1   to appear in 6th ACM Symposium on Applied Computing (context) - Scalable, Simu- - 2001
1   Simulation of Large Scale Communication Systems (context) - Bajaj, Takai et al. - 1999
1   Ad-hopNET: Advances in Simulationbased Design and Analysis o.. (context) - Barrett, Marathe et al. - 2000
1   Knowledge and Networks in a Dynamical Economy Chapter titled.. (context) - Ban'err, Thord et al. - 1998
1   Sequential Dynamical Systems and Applications to Simulations (context) - Barrett, Bush et al. - 1999
1   Routing in Time Dependent Labeled Networks (context) - Barrett, Bisset et al. - 2001
1   A Geometrical hierarchy of gq'aph via cel- lular automata (context) - Martin - 1998
1   A Cellulm' Automata Model for Freeway Tl'aflic (context) - Nagel, Schrekenberg - 1995
1   Analysis Problems for Sequential Dynamical Systems and Commu.. (context) - Barrett, Marathe et al. - 2001
1   the Complexity of Analyzing Sequential Dynamical Systems (context) - Barrett, Marathe et al. - 2001
1   tial Dynamical Systems (context) - MortveiRIliidtli - 2001
1   Cellular Automata: Theory and Experiment North Holland (context) - Gutowitz - 1989
1   Readings in the Philosophy of Inductive Logic (context) - Foster, Martin et al. - 1966
1   Efficient Local Inter- Simulability Between Models of Dynami.. (context) - Barrett, Marathe et al. - 2001
1   Classification of finite dynamical systems (context) - Garcia, Jarrah et al. - 2001
1   Using Microsimulation Feedback for Tl'ip q_daptation for Rea.. (context) - Nagel, Barrett - 1997
1   Deterministic computations whose history is independent of t.. - Gacs - 1997
1   Stearns Sequential Dynamical Systems with Threshold Function.. (context) - Barrett, Marathe et al.

Documents on the same site (http://www.thesimguy.com/GC/WMC02.htm):   More
Simulation for Agent-Oriented Software Engineering - Uhrmacher (2002)   (Correct)
Unknown -   (Correct)
Unknown -   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC