The following pages link to Ptolemy (Q19489):
Displaying 43 items.
- Explicit routing schemes for implementation of cellular automata on processor arrays (Q272775) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Compositional design of isochronous systems (Q456402) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Dispatch sequences for embedded control models (Q858316) (← links)
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems (Q858319) (← links)
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems (Q952760) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Temporal analysis of data flow control systems (Q1129680) (← links)
- Developing applications for heterogeneous computing environments using simulation: A case study (Q1274358) (← links)
- A methodology for architecture exploration of heterogeneous signal processing systems (Q1597553) (← links)
- A case study in embedded systems design: An engine control unit (Q1859160) (← links)
- Memory-optimized software synthesis from dataflow program graphs with large size data samples (Q1886904) (← links)
- Logic foundry: Rapid prototyping for FPGA-based DSP systems (Q1886911) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study (Q1953740) (← links)
- Multidimensional exploration of software implementations for DSP algorithms (Q1974492) (← links)
- DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures (Q1974493) (← links)
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- OntCheck: an ontology-driven static correctness checking tool for component-based models (Q2375721) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- A consistent design methodology for wireless embedded systems (Q2502712) (← links)
- An algebraic theory for behavioral modeling and protocol synthesis in system design (Q2505638) (← links)
- (Q2729064) (← links)
- DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications (Q2758641) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Modelling Adaptive Systems in ForSyDe (Q2864356) (← links)
- A Modal Interface Theory for Component-based Design (Q2895779) (← links)
- Heterogeneous Timed Machines (Q2938156) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- From Simulation Models to Hybrid Automata Using Urgency and Relaxation (Q2988995) (← links)
- The design and application of structured types in Ptolemy II (Q3065298) (← links)
- (Q3075218) (← links)
- (Q3079663) (← links)
- Timed CTL Model Checking in Real-Time Maude (Q3164837) (← links)
- Modeling for Verification (Q3176361) (← links)
