The following pages link to SystemC (Q19824):
Displayed 28 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- A cycle-accurate transaction level SystemC model for a serial communication bus (Q733317) (← links)
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Simulation of systems with dynamically varying model structure (Q1009991) (← links)
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294) (← links)
- Incremental bounded model checking for embedded software (Q1682291) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language (Q3055754) (← links)
- Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC (Q3163942) (← links)
- Geometry of synthesis (Q3189816) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- Compositional Semantics of System-Level Designs Written in SystemC (Q3508521) (← links)
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems (Q3526937) (← links)
- (Q3528915) (← links)
- Compositional Reactive Semantics of SystemC and Verification with RuleBase (Q3564035) (← links)
- A Framework for Verification of Software with Time and Probabilities (Q3588082) (← links)
- (Q4408245) (← links)
- (Q4421297) (← links)
- (Q4656188) (← links)
- (Q4818667) (← links)
- (Q4825207) (← links)
- (Q5294158) (← links)
- (Q5444994) (← links)
- Automated Technology for Verification and Analysis (Q5491854) (← links)