System-level power optimization: techniques and tools
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A methodology for correct-by-construction latency insensitive design
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Composite signal flow: a computational model combining events, sampled streams, and vectors
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Interoperability as a design issue in C++ based modeling environments
Proceedings of the 14th international symposium on Systems synthesis
Transformation based communication and clock domain refinement for system design
Proceedings of the 39th annual Design Automation Conference
System-level modeling of a network switch SoC
Proceedings of the 15th international symposium on System Synthesis
A case study of hardware and software synthesis in ForSyDe
Proceedings of the 15th international symposium on System Synthesis
Challenges and opportunities in broadband and wireless communication designs
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
ARIAL: rapid prototyping for mixed and parallel platforms
Parallel Computing - Parallel computing in image and video processing
What's Ahead for Embedded Software?
Computer
A Survey of Digital Design Reuse
IEEE Design & Test
IEEE Transactions on Software Engineering
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
Multi-Level Modeling of Software on Hardware in Concurrent Computation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Formal Models for Communication-Based Design
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Using Multiple Levels of Abstractions in Embedded Software Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Embedded Software: Challenges and Opportunities
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A language for multiple models of computation
Proceedings of the tenth international symposium on Hardware/software codesign
SystemC
Deriving process networks from weakly dynamic applications in system-level design
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Verification of design decisions in ForSyDe
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Low power operating system for heterogeneous wireless communication system
Compilers and operating systems for low power
Microarchitecture Development via Metropolis Successive Platform Refinement
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Benefits and challenges for platform-based design
Proceedings of the 41st annual Design Automation Conference
Modeling of CSP, KPN and SR systems with systemC
Languages for system specification
Conservative approximations for heterogeneous design
Proceedings of the 4th ACM international conference on Embedded software
Proceedings of the 4th ACM international conference on Embedded software
Development and Application of Design Transformations in ForSyDe
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Layered, Multi-Threaded, High-Level Performance Design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Using separation of concerns for embedded systems design
Proceedings of the 5th ACM international conference on Embedded software
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
Semantics-based optimization across uncoordinated tasks in networked embedded systems
Proceedings of the 5th ACM international conference on Embedded software
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS)
Functional modeling techniques for efficient SW code generation of video codec applications
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Embedded system education: a new paradigm for engineering schools?
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Communication and co-simulation infrastructure for heterogeneous system integration
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Formal Methods in System Design
An algebraic theory for behavioral modeling and protocol synthesis in system design
Formal Methods in System Design
Computer
Behavioral type inference: part I - algebraic theory for bahavioral type inference
Formal methods and models for system design
Behavioral type inference: part II - behavioral type inference for system design
Formal methods and models for system design
Particle-based methodology for representing mobile ad-hoc networks
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
A framework for embedded system specification under different models of computation in SystemC
Proceedings of the 43rd annual Design Automation Conference
Platform based design for wireless sensor networks
Mobile Networks and Applications
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Research trends in real-time computing for embedded systems
ACM SIGBED Review - Special issue on major international initiatives on real-time and embedded systems
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
A causality interface for deadlock analysis in dataflow
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Towards a formal foundation for domain specific modeling languages
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Performance analysis of multimedia applications using correlated streams
Proceedings of the conference on Design, automation and test in Europe
Interactive presentation: Automatic model generation for black box real-time systems
Proceedings of the conference on Design, automation and test in Europe
Refinement preserving approximations for the design and verification of heterogeneous systems
Formal Methods in System Design
A SystemC-based design methodology for digital signal processing systems
EURASIP Journal on Embedded Systems
pn: a tool for improved derivation of process networks
EURASIP Journal on Embedded Systems
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Automated refinement checking of concurrent systems
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Dataflow Architectures for GALS
Electronic Notes in Theoretical Computer Science (ENTCS)
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Analyzing concurrency in streaming applications
Journal of Systems Architecture: the EUROMICRO Journal
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Composing Different Models of Computation in Kepler and Ptolemy II
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Energy efficient streaming applications with guaranteed throughput on MPSoCs
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Formal Reasoning About Causality Analysis
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Bridging MoCs in SystemC specifications of heterogeneous systems
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Kepler/pPOD: Scientific Workflow and Provenance Support for Assembling the Tree of Life
Provenance and Annotation of Data and Processes
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
Communications of the ACM - Security in the Browser
Scientific workflow design for mere mortals
Future Generation Computer Systems
Heterogeneous composition of models of computation
Future Generation Computer Systems
Actors without Directors: A Kahnian View of Heterogeneous Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Journal of Signal Processing Systems
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Contract-based system-level composition of analog circuits
Proceedings of the 46th Annual Design Automation Conference
Future Generation Computer Systems
Exploring Multi-Paradigm Modeling Techniques
Simulation
Electronic system-level synthesis methodologies
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Compositional analysis for linear control systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
On the causality of mixed-signal and hybrid models
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Translation validation of high-level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A tag machine based performance evaluation method for job-shop schedules
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Synchronous dataflow scenarios
ACM Transactions on Embedded Computing Systems (TECS)
Analysis of SystemC actor networks for efficient synthesis
ACM Transactions on Embedded Computing Systems (TECS)
RT-simex: retro-analysis of execution traces
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Divide and recycle: types and compilation for a hybrid synchronous language
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Quasi-Static Scheduling of CAL Actor Networks for Reconfigurable Video Coding
Journal of Signal Processing Systems
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Compositional design of isochronous systems
Science of Computer Programming
Towards a signal calculus for event-based synchronous languages
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Embedded Systems Design
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Controller synthesis on non-uniform and uncertain discrete–time domains
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Interchange formats for hybrid systems: review and proposal
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Modeling timed concurrent systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Model-based tool-chain infrastructure for automated analysis of embedded systems
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Modeling heterogeneous points of view with modhel'x
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming Applications
ACM Transactions on Embedded Computing Systems (TECS)
Heterogeneous verification of cyber-physical systems using behavior relations
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems
Task-level data model for hardware synthesis based on concurrent collections
Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Technical engine for democratization of modeling, simulations, and predictions
Proceedings of the Winter Simulation Conference
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs
ACM Transactions on Embedded Computing Systems (TECS)
Compositional heterogeneous abstraction
Proceedings of the 16th international conference on Hybrid systems: computation and control
A practical testing framework for isolating hardware timing channels
Proceedings of the Conference on Design, Automation and Test in Europe
On fixed points of strictly causal functions
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Journal of Systems Architecture: the EUROMICRO Journal
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
Journal of Systems Architecture: the EUROMICRO Journal
A formal framework for interfacing mixed-timing systems
Integration, the VLSI Journal
Hi-index | 0.04 |
We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible behaviors. A process is determinate if, given the constraints imposed by the inputs, there are exactly one or exactly zero behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors of the component processes. The interaction between processes is through signals, which are collections of events. Each event is a value-tag pair, where the tags can come from a partially ordered or totally ordered set. Timed models are where the set of tags is totally ordered. Synchronous events share the same tag, and synchronous signals contain events with the same set of tags. Synchronous processes have only synchronous signals as behaviors. Strict causality (in timed tag systems) and continuity (in untimed tag systems) ensure determinacy under certain technical conditions. The framework is used to compare certain essential features of various models of computation, including Kahn process networks, dataflow, sequential processes, concurrent sequential processes with rendezvous, Petri nets, and discrete-event systems