Automatic Parallelization of Equation-Based Simulation Programs

Modern equation-based object-oriented modeling languages which have emerged during the past decades make it easier to build models of large and complex systems. The increasing size and complexity o ...

[1]  Zhen Liu,et al.  Worst-Case Analysis of Scheduling Heuristics of Parallel Systems , 1998, Parallel Comput..

[2]  Man Lin.  Analysis and synthesis of reactive systems : a generic layered architecture perspective , 1999 .

[3]  Iakov Nakhimovski,et al.  Contributions to the Modeling and Simulation of Mechanical Systems with Detailed Contact Analyses , 2006 .

[4]  Ramesh Subramonian,et al.  LogP: towards a realistic model of parallel computation , 1993, PPOPP '93.

[5]  Ronald L. Graham,et al.  Optimal scheduling for two-processor systems , 1972, Acta Informatica.

[6]  Jaak Urmi.  A machine independent LISP compiler and its implications for ideal hardware , 1978 .

[7]  René Reboh.  Knowledge engineering techniques and tools for expert systems , 1981 .

[8]  Yuxiao Zhao,et al.  Standards-based application integration for business-to-business communications , 2005 .

[9]  Peter Fritzson,et al.  The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing , 1992, CC.

[10]  Rego Granlund,et al.  Monitoring distributed teamwork training , 2002 .

[11]  Zhiping Wang.  Capacity-constrained production-inventory systems : modelling and analysis in both a traditional and an e-business context , 2004 .

[12]  Patrik Haslum,et al.  Admissible Heuristics for Automated Planning , 2006 .

[13]  Peter Fritzson,et al.  The Open Source Modelica Project , 2002 .

[14]  Olof Johansson.  Development environments for complex product models , 1996 .

[15]  Jörgen Hansson,et al.  Value-driven multi-class overload management in real-time database systems , 1999 .

[16]  N. Dahlbäck,et al.  Representations of discourse : cognitive and computational aspects , 1991 .

[17]  Johan Åberg,et al.  Live help systems : an approach to intelligent help for Web information systems , 2002 .

[18]  J. Skåmedal.  Telecommuting's implications on travel and travel patterns , 2004 .

[19]  Tarja Susi.  The puzzle of social activity: the significance of tools in cognition and cooperation , 2006 .

[20]  東田 学.  PVM(Parallel Virtual Machine)とPCA(Power C Analyzer)によるOnyx上の並列処理システムの構築-実例とプログラミング・ガイド , 1994 .

[21]  Magnus Merkel,et al.  Understanding and enhancing translation by parallel text processing , 1999 .

[22]  Geoffrey C. Fox,et al.  Concurrent DASSL: a second-generation DAE solver library , 1993, Proceedings of Scalable Parallel Libraries Conference.

[23]  Ishfaq Ahmad,et al.  Exploiting duplication to minimize the execution times of parallel programs on message-passing systems , 1994, Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed Processing.

[24]  Johan Fagerström,et al.  A paradigm and system for design of distributed systems , 1988 .

[25]  Mathias Broxvall,et al.  A Study in the Computational Complexity of Temporal Reasoning , 2002 .

[26]  Aleksandra Tesanovic,et al.  Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components , 2006 .

[27]  Henrik Nilsson,et al.  Declarative debugging for lazy functional languages , 1998 .

[28]  Jing-Chiou Liou,et al.  CASS: an efficient task management system for distributed memory architectures , 1997, Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'97).

[29]  Hans Olsen,et al.  Automatic Verification of Petri Nets in a CLP Framework , 1997 .

[30]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[31]  Carl-Johan Petri,et al.  Organizational information provision : managing mandatory and discretionary utilization of information technology , 2001 .

[32]  Jonas Mellin,et al.  Resource-Predictable and Efficient Monitoring of Events , 2004 .

[33]  Ulf Nilsson,et al.  Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs , 1992 .

[34]  Joachim Karlsson,et al.  A systematic approach for prioritizing software requirements , 1998 .

[35]  Thomas Rauber,et al.  Parallel iterated Runge-Kutta methods and applications , 1994 .

[36]  Mikael Ericsson,et al.  Supporting the use of design knowledge : an assessment of commenting agents , 1999 .

[37]  Pär Carlshamre,et al.  A usability perspective on requirements engineering : from methodology to product development , 2001 .

[38]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[39]  Lars Degerstedt,et al.  Tabulation-based Logic Programming : A Multi-level View of Query Answering , 1996 .

[40]  Panos M. Pardalos,et al.  Parallel computing in optimization , 2011, Applied optimization.

[41]  Anders Arpteg,et al.  Intelligent Semi-Structured Information Extraction , 2005 .

[42]  Jing-Chiou Liou,et al.  Task Clustering and Scheduling for Distributed Memory Parallel Architectures , 1996, IEEE Trans. Parallel Distributed Syst..

[43]  Esa Falkenroth.  Database technology for control and simulation , 2000 .

[44]  Erik G. Larsson,et al.  An Integrated System-Level Design for Testability Methodology , 2000 .

[45]  Pär J. Ågerfalk.  Information Systems Actability: Understanding Information Technology as a Tool for Business Action and Communication , 2003 .

[46]  Martin Skold.  Active Database Management Systems for Monitoring and Control , 1997 .

[47]  Osten Oskarsson,et al.  Mechanisms of modifiability in large software systems , 1982 .

[48]  Jean-Luc Gaudiot,et al.  An efficient heuristic for code partitioning , 2000, Parallel Comput..

[49]  Christer Backstrom,et al.  Computational Complexity of Reasoning about Plans , 1992 .

[50]  Vanja Josifovski,et al.  Design, implementation and evaluation of a distributed mediator system for data integration , 1999 .

[51]  Peter Bunus,et al.  Debugging techniques for equation-based languages , 2004 .

[52]  Claudiu Duma,et al.  Security and trust mechanisms for groups in distributed services , 2005 .

[53]  Asmus Pandikow,et al.  A Generic Principle for Enabling Interoperability of Structured and Object-Oriented Analysis and Design Tools , 2002 .

[54]  William Gropp,et al.  User''s Guide for mpich , 1996 .

[55]  Staffan Bonnier,et al.  A formal basis for horn clause logic with external polymorphic functions , 1992 .

[56]  Marcus Bjäreland.  Model-based execution monitoring , 2001 .

[57]  Martin Otter,et al.  Inline Integration: A New Mixed Symbolic/Numeric Approach for Solving Differential-Algebraic Equations Systems , 1995 .

[58]  Joakim Gustafsson,et al.  Extending temporal action logic , 2001 .

[59]  Leslie G. Valiant,et al.  A bridging model for parallel computation , 1990, CACM.

[60]  Adrian Pop,et al.  The OpenModelica Modeling, Simulation, and Software Development Environment , 2005 .

[61]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[62]  Dimiter Driankov,et al.  Towards a many‐valued logic of quantified belief: The information lattice , 1991 .

[63]  Erland Jungert,et al.  Synthesizing database structures from a user oriented data model , 1980 .

[64]  Thomas Rauber,et al.  Iterated Runge-Kutta methods on distributed memory multiprocessors , 1995, Proceedings Euromicro Workshop on Parallel and Distributed Processing.

[65]  Zebo Peng.  A formal methodology for automated synthesis of VLSI systems , 1987 .

[66]  Ling Lin,et al.  Management of 1-D Sequence Data- From Discrete to Continuous , 1999 .

[67]  Corporate Ieee,et al.  Information Technology-Portable Operating System Interface , 1990 .

[68]  Dan Lawesson.  An Approach to Diagnosability Analysis for Interacting Finite State Systems , 2005 .

[69]  Hilding Elmqvist,et al.  Methods for Tearing Systems of Equations in Object-Oriented Modeling , 1994 .

[70]  Mikael Kindborg,et al.  Concurrent comics : programming of social agents by children , 2003 .

[71]  Peter Aronsson,et al.  Meta Programming and Function Overloading in OpenModelica , 2003 .

[72]  Johan Moe.  Observing the dynamic behaviour of large distributed systems to improve development and testing : an empirical study in software engineering , 2003 .

[73]  Thomas L. Casavant,et al.  A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems , 1988, IEEE Trans. Software Eng..

[74]  Hubertus Tummescheit,et al.  Design and Implementation of Object-Oriented Model Libraries using Modelica , 2002 .

[75]  Behrooz Shirazi,et al.  DFRN: a new approach for duplication based scheduling for distributed memory multiprocessor systems , 1997, Proceedings 11th International Parallel Processing Symposium.

[76]  Cedwall Mats.  Semantisk analys av processbeskrivningar i naturligt språk , 1977 .

[77]  Ishfaq Ahmad,et al.  Benchmarking the task graph scheduling algorithms , 1998, Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing.

[78]  Jaime Villegas,et al.  Simulation supported industrial training from an organisational learning perspective : development and evaluation of the SSIT method , 1996 .

[79]  Mikael Lind,et al.  Från system till process kriterier för processbestämning vid verksamhetsanalys , 2001 .

[80]  Anneli Hagdahl,et al.  Development of IT-supported Inter-organisational Collaboration: A Case Study in the Swedish Public Sector , 2002 .

[81]  Michael Wolfe,et al.  High performance compilers for parallel computing , 1995 .

[82]  C. Levcopoulos.  Heuristics for minimum decompositions of polygons , 1987 .

[83]  Nahid Shahmehri,et al.  Generalized algorithmic debugging , 1991 .

[84]  Jonas Kvarnström,et al.  TALplanner and Other Extensions to Temporal Action Logic , 2005 .

[85]  David Dinka,et al.  Role, Identity and Work : Extending the design and development agenda , 2010 .

[86]  Erik Herzog,et al.  An approach to systems engineering tool data representation and exchange , 2004 .

[87]  Behrooz Shirazi,et al.  Comparative Study of Static Scheduling with Task Duplication for Distributed Systems , 1997, IRREGULAR.

[88]  Mariam Kamkar,et al.  Interprocedural dynamic slicing with applications to debugging and testing , 1993, Linköping studies in science and technology dissertations.

[89]  Per-Arne Persson,et al.  Bringing power and knowledge together: information systems design for autonomy and control in command work , 2000 .

[90]  Anette Moberg.  Närhet och distans : studier av kommunikationsmönster i satellitkontor och flexibla kontor , 1997 .

[91]  Ioan Chisalita,et al.  Communication and Networking Techniques for Traffic Safety Systems , 2006 .

[92]  Ulf Seigerroth,et al.  Att förstå och förändra systemutvecklingsverksamheter en taxonomi för metautveckling , 2003 .

[93]  Tobias Ritzau,et al.  Memory Efficient Hard Real-Time Garbage Collection , 2003 .

[94]  Luis Alejandro Cortés,et al.  Verification and Scheduling Techniques for Real-Time Embedded Systems , 2005 .

[95]  Welf Löwe,et al.  Scheduling balanced task-graphs to LogP-machines , 2000, Parallel Comput..

[96]  Kjell Orsborn,et al.  On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications , 1996 .

[97]  Christina Ölvingson,et al.  On development of information systems with GIS functionality in public health informatics : a requirements engineering approach , 2003 .

[98]  Sture Hägglund,et al.  Contributions to the development of methods and tools for interactive design of applications software , 1980 .

[99]  Ed Anderson,et al.  LAPACK users' guide - [release 1.0] , 1992 .

[100]  Linda Askenäs,et al.  The roles of IT : studies of organising when implementing and using enterprise systems , 2004 .

[101]  William Gropp,et al.  Users guide for mpich, a portable implementation of MPI , 1996 .

[102]  Tore Risch,et al.  Compilation of multiple file queries in a meta-database system , 1978 .

[103]  Aseel Berglund,et al.  Augmenting the Remote Control: Studies in Complex Information Navigation for Digital TV , 2004 .

[104]  Mikael Cäker,et al.  Management accounting as constructing and opposing customer focus : three case studies on management accounting and customer relations , 2005 .

[105]  Dharma P. Agrawal,et al.  Optimal Scheduling Algorithm for Distributed-Memory Machines , 1998, IEEE Trans. Parallel Distributed Syst..

[106]  Johan Jenvald.  Methods and tools in computer-supported taskforce training , 1999 .

[107]  Message Passing Interface Forum.  MPI: A message - passing interface standard , 1994 .

[108]  Santosh Pande,et al.  A Robust Compile Time Method for Scheduling Task Parallelism on Distributed Memory Machines , 2004, The Journal of Supercomputing.

[109]  Arne Jönsson,et al.  Dialogue management for natural language interfaces - an empirical approach , 1993, Linköping studies in science and technology dissertations.

[110]  Bourhane Kadmiry,et al.  Fuzzy gain scheduled visual servoing for an unmanned helicopter , 2005 .

[111]  Anders Haraldsson.  A program manipulation system based on partial evaluation , 1977 .

[112]  Levon Saldamli.  PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations , 2002 .

[113]  Magnus Bång.  Computing at the speed of paper : ubiquitous computing environments for healthcare professionals , 2004 .

[114]  Daniel Karlsson,et al.  Verification of Component-based Embedded System Designs , 2006 .

[115]  Claire Hanen,et al.  An approximation algorithm for scheduling dependent tasks on m processors with small communication delays , 2001, Discret. Appl. Math..

[116]  Jonas Lundberg,et al.  Shaping electronic news: A case study of genre perspectives on interaction design , 2005 .

[117]  Silvia Coradeschi,et al.  Anchoring symbols to sensory data , 1999 .

[118]  Peter Fritzson,et al.  The Modelica Language , 2004 .

[119]  Jeffrey D. Ullman,et al.  NP-Complete Scheduling Problems , 1975, J. Comput. Syst. Sci..

[120]  B. Earl Wells,et al.  A Hard Real-Time Static Task Allocation Methodology for Highly-Constrained Message-Passing Environments , 1995 .

[121]  Vivek Sarkar,et al.  Partitioning and Scheduling Parallel Programs for Multiprocessing , 1989 .

[122]  Cristina Boeres,et al.  Cluster-based static scheduling: theory and practice , 2002, 14th Symposium on Computer Architecture and High Performance Computing, 2002. Proceedings..

[123]  Pär Emanuelson,et al.  Performance enhancement in a well-structured pattern matcher through partial evaluation , 1980 .

[124]  Salim Hariri,et al.  Performance-Effective and Low-Complexity Task Scheduling for Heterogeneous Computing , 2002, IEEE Trans. Parallel Distributed Syst..

[125]  Lin Padgham,et al.  Non-monotonic inheritance for an object-oriented knowledge-base , 1989 .

[126]  Arjan J. C. van Gemund,et al.  FLB: Fast Load Balancing for distributed-memory machines , 1999, Proceedings of the 1999 International Conference on Parallel Processing.

[127]  Sorin Manolache,et al.  Analysis and Optimisation of Real-Time Systems with Stochastic Behaviour , 2005 .

[128]  Sofie Pilemalm,et al.  Information Technology for Non-Profit Organisations: Extended Participatory Design of an Information System for Trade Union Shop Stewards , 2002 .

[129]  Paul Scerri,et al.  Designing agents for systems with adjustable autonomy , 2001 .

[130]  Daniel Gajski,et al.  Hypertool: A Programming Aid for Message-Passing Systems , 1990, IEEE Trans. Parallel Distributed Syst..

[131]  Tao Yang,et al.  DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors , 1994, IEEE Trans. Parallel Distributed Syst..

[132]  I. Duff,et al.  Direct Methods for Sparse Matrices , 1987 .

[133]  Peter Fritzson,et al.  Multiprocessor Scheduling of Simulation Code From Modelica Models , 2002 .

[134]  Ian Foster,et al.  Designing and building parallel programs , 1994 .

[135]  Jing-Jang Hwang,et al.  Multiprocessor scheduling with interprocessor communication delays , 1988 .

[136]  Vadim Engelson,et al.  Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing , 2000 .

[137]  Pernilla Qvarfordt,et al.  Eyes on multimodal interaction , 2004 .

[138]  Edward A. Lee,et al.  A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures , 1993, IEEE Trans. Parallel Distributed Syst..

[139]  Vilhelm Dahllöf,et al.  Exact Algorithms for Exact Satisfiability Problems , 2006 .

[140]  Jonas Hallberg,et al.  Timing issues in high-level synthesis , 1998 .

[141]  Peter Fritzson,et al.  Incremental declaration handling in Open Source Modelica , 2002 .

[142]  Juha Takkinen,et al.  From information management to task management in electronic mail , 2002 .

[143]  C. Pantelides.  The consistent intialization of differential-algebraic systems , 1988 .

[144]  Pawel Pietrzak,et al.  A type-based framework for locating errors in constraint logic programs , 2002 .

[145]  C. Curescu,et al.  Utility-based Optimisation of Resource Allocation for Wireless Networks , 2005 .

[146]  Stefan Cronholm,et al.  Metodverktyg och användbarhet : en studie av datorstödd metodbaserad systemutveckling , 1998 .

[147]  Anders Lindström,et al.  English and other foreign linguistic elements in spoken Swedish : studies of productive processes and their modelling using finite-state tools , 2004 .

[148]  Henryk Jan Komorowski,et al.  A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[149]  Boontee Kruatrachue,et al.  Grain size determination for parallel processing , 1988, IEEE Software.

[150]  Eva L. Ragnemalm,et al.  Student modelling based on collaborative dialogue with a learning companion , 1999 .

[151]  Peter Aronsson.  Automatic Parallelization of Simulation Code from Equation Based Simulation Languages , 2002 .

[152]  Adrian Pop,et al.  Towards Comprehensive Meta-Modeling and Meta-Programming Capabilities in Modelica , 2005 .

[153]  Peter Fritzson,et al.  Automatic Parallelization in OpenModelica , 2004 .

[154]  Arjan J. C. van Gemund,et al.  On the complexity of list scheduling algorithms for distributed-memory systems , 1999, ICS '99.

[155]  Andrzej Bednarski,et al.  Integrated Optimal Code Generation for Digital Signal Processors , 2006 .

[156]  Ola Angelsmark.  Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications , 2005 .

[157]  Heejo Lee,et al.  Task scheduling using a block dependency DAG for block-oriented sparse Cholesky factorization , 2003, Parallel Comput..

[158]  Tim Heyer,et al.  Semantic Inspection of Software Artifacts From Theory to Practice , 2001 .

[159]  Fredrik Karlsson,et al.  Method configuration: method and computerized tool support , 2005 .

[160]  Jörgen Lindström,et al.  Does distance matter? On geographical dispersion in organisations , 1999 .

[161]  Fredrik Nilsson.  Strategi och ekonomisk styrning : en studie av hur ekonomiska styrsystem utformas och används efter företagsförvärv , 1997 .

[162]  George D. Byrne,et al.  PVODE, an ODE Solver for Parallel Computers , 1999, Int. J. High Perform. Comput. Appl..

[163]  Niklas Hallberg,et al.  Incorporating user values in the design of information systems and services in the public sector : a methods approach , 1999 .

[164]  Niclas Andersson.  Compilation of mathematical models to parallel code , 1996 .

[165]  Tomàs Margalef,et al.  Impact of task duplication on static-scheduling performance in multiprocessor systems with variable execution-time tasks , 1990, ICS '90.

[166]  Vivian Vimarlund,et al.  An economic perspective on the analysis of impacts of information technology : from case studies in health-care towards general models and theories , 1999 .

[167]  Magnus Morin.  Multimedia representations of distributed tactical operations , 2002 .

[168]  Ewa Braf,et al.  Knowledge demanded for action : studies of knowledge mediation in organisations , 2004 .

[169]  Mattias Arvola,et al.  Shades of Use: The Dynamics of Interaction Design for Sociable Use , 2005 .

[170]  Anders Avdic,et al.  Användare och utvecklare : om anveckling med kalkylprogram , 2001 .

[171]  Peter Fritzson,et al.  TASK MERGING AND REPLICATION USING GRAPH REWRITING , 2003 .

[172]  Stefan Holmlid,et al.  Adapting users : towards a theory of use quality , 2002 .

[173]  P. Doherty.  NML3 : a non-monotonic formalism with explicit defaults , 1991 .

[174]  Peter Fritzson,et al.  Parallelisation of the CVODE ordinary differential equation solver with applications to rolling bearing simulation , 1995, HPCN Europe.

[175]  Peter Ambjorn Fritzson,et al.  Towards a distributed programming environment based on incremental compilation (debugging, prettyprinting, interactive) , 1984 .

[176]  Rita Kovordanyi,et al.  Modeling and simulating inhibitory mechanisms in mental image reinterpretation : towards cooperative human-computer creativity , 1999 .

[177]  Choong-ho Yi,et al.  Modelling object-oriented dynamic systems using a logic-based framework , 2002 .

[178]  Gert Jervan,et al.  Hybrid Built-In Self-Test and Test Generation Techniques for Digital Systems , 2005 .

[179]  Mikael Lindvall,et al.  An Empirical Study of Requirements-Driven Impact Analysis in Object-Oriented Software Evolution , 1997 .

[180]  Mikael Pettersson,et al.  Compiling Natural Semantics , 1999, Lecture Notes in Computer Science.

[181]  ComplexityPeter Jonsson,et al.  Studies in Action Planning Algorithms and Complexity , 2007 .

[182]  Stephen Wolfram,et al.  The Mathematica book, 5th Edition , 2003 .

[183]  Magnus Kald.  In the borderland between strategy and management control : theoretical framework and empirical evidence , 2004 .

[184]  Hans Olsson,et al.  Mixed-mode Integration for Real-time Simulation , 2000 .

[185]  Diana Szentiványi.  Performance Studies of Fault-Tolerant Middleware , 2005 .

[186]  Erik Anders Tengvald,et al.  The design of expert planning systems: an experimental operations planning system for turning , 1984 .

[187]  Erik Berglund,et al.  Library Communication Among Programmers Worldwide , 2002 .

[188]  Björn Johansson.  Joint control in dynamic situations , 2005 .

[189]  Lars Hult,et al.  Publika informationstjänster : en studie av den elektroniska encyklopedins bruksegenskaper , 2003 .

[190]  Dag Fritzson,et al.  Adaptive scheduling strategy optimizer for parallel rolling bearing simulation , 2000, Future Gener. Comput. Syst..

[191]  Annika Flycht-Eriksson,et al.  Design and use of ontologies in information-providing dialogue systems , 2004 .

[192]  Boontee Kruatrachue,et al.  Static task scheduling and grain packing in parallel processing systems , 1987 .

[193]  Sang-Bang Choi,et al.  Multiprocessor scheduling algorithm utilizing linear clustering of directed acyclic graphs , 1997, Proceedings 1997 International Conference on Parallel and Distributed Systems.

[194]  Steven Fortune,et al.  Parallelism in random access machines , 1978, STOC.

[195]  Jimmy Tjäder,et al.  Systemimplementering i praktiken : en studie av logiker i fyra projekt , 1999 .

[196]  Simin Nadjm-Tehrani,et al.  Algorithms and Complexity for Temporal and Spatial Formalisms , 2007 .

[197]  Mikael Ronström,et al.  Design and Modelling of a Parallel Data Server for Telecom Applications , 2004 .