Skip to search formSkip to main contentSkip to account menu

SpecC

Known as: Spec-C 
SpecC is a System Description Language (SDL), or System-level Design Language (SLDL), and is an extension of the ANSI C programming language. It is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
ANSI CC++Concurrency (computer science)Daniel Gajski

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and Posets
  • A. PolakD. Simson
  • 15th International Symposium on Symbolic and…
  • 2013
  • Corpus ID: 8633226
We study P-critical edge-bipartite graphs (bigraphs for short) Δ with n ≥ 2 vertices, by means of the nonsymmetric Gram matrix G… 
2012
2012
Individual typological features in the EEG of athletes after acute hypoxic treatment
In athletes with different types of physical training and various temperaments, variability of the main rhythms of the EEG… 
Highly Cited
2003
Highly Cited
2003
RTOS modeling for system level design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models… 
2003
2003
Comparison of SpecC and SystemC Languages for System Design
In course of system-level design, designers need an efficient system level design language (SLDL), which can serve as the design… 
2003
2003
RTOS scheduling in transaction level models
Raising the level of abstraction in system design promises to enable faster exploration of the design space at early stages… 
2003
2003
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams
SpecC language is designated to handle the design of entire system from specification to implementation and of hardware/software… 
2002
2002
Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model
This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that… 
Highly Cited
2001
Highly Cited
2001
The standard SpecC language
The paper introduces SpecC language, a system level description language based on C, and its consortium, SpecC Technology Open… 
2000
2000
SpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder
| In this paper we describe the steps and transformations of the SpecC system-level design methodology applied to the example of… 
1991
1991
PREDICATE CLEFTING IN HAITIAN CREOLE
Predicate clefting is a commonly used construction in Haitian Creole. This paper considers two properties of the construction… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)