Ptolemy

swMATH7459MaRDI QIDQ19489FDOQ19489

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: http://ptolemy.eecs.berkeley.edu/

Cited In (only showing first 100 items - show all)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• OntCheck: an ontology-driven static correctness checking tool for component-based models
• CPO semantics of timed interactive actor networks
• Heterogeneous timed machines
• Timed CTL model checking in Real-Time Maude
• Extended synchronous dataflow for efficient DSP system prototyping
• DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications
• Explicit routing schemes for implementation of cellular automata on processor arrays
• The design and application of structured types in Ptolemy II
• Formal modelling, analysis and verification of hybrid systems
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Dispatch sequences for embedded control models
• Developing applications for heterogeneous computing environments using simulation: A case study
• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• Title not available (Why is no real title available?)
• Temporal analysis of data flow control systems
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• Memory-optimized software synthesis from dataflow program graphs with large size data samples
• A general framework for architecture composability
• Compositional design of isochronous systems
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• D-Finder
• DG2VHDL
• jETI
• Title not available (Why is no real title available?)
• VEST
• JavaFAN
• Uppaal2k
• StreamIt
• DISCOVER
• SPADE
• ITP/OCL
• SIGNAL
• KKTDirect
• StateFlow
• Cheddar
• CVXMOD
• Torsche
• DREAM Tool
• Reo
• MOFLON
• OntCheck
• iFEST
• VESTA
• ADVIS
• SystemC
• Giotto
• LUSTRE
• M-nets
• Rebeca
• Dist-Orc
• Quartz
• Kermeta
• MOMENT2
• Carsim
• HyDI
• SDEF
• Polychrony
• vlogsl
• TSMV
• TrueTime
• SOFA 2.0
• GenCCSL
• Simulink Coder
• Metropolis
• TimeSquare
• Charon
• Esterel
• CyPhySim
• XSpeed
• Zelus
• SACO
• Silage
• METROPOLIS
• Java+ITP
• MaRTE OS
• A modal interface theory for component-based design
• Dynamic networks of heterogeneous timed machines
• ATV
• Managing Latency and Buffer Requirements in Processing Graph Chains
• Causal semantics for the algebra of connectors
• Multidimensional exploration of software implementations for DSP algorithms
• Reconfigurable computing for digital signal processing: A survey
• DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures
• An algebraic theory for behavioral modeling and protocol synthesis in system design
• Causal Semantics for the Algebra of Connectors
• Compositional modeling and refinement for hierarchical hybrid systems
• A case study in embedded systems design: An engine control unit
• DyverseRBT
• A methodology for architecture exploration of heterogeneous signal processing systems
• A modular formal semantics for Ptolemy
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• Title not available (Why is no real title available?)

This page was built for software: Ptolemy