Matches in DBpedia 2014 for { <http://dbpedia.org/resource/SIGNAL_(programming_language)> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- SIGNAL_(programming_language) abstract "SIGNAL is a programming language based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows describing both data and control.The SIGNAL formal model provides the capability to describe systems with several clocks (polychronous systems) as relational specifications6+9685-. Relations are useful as partial specifications and as specifications of non-deterministic devices (for instance a non-deterministic bus) or external processes (for instance an unsafe car driver).Using SIGNAL allows to specify an application, to design an architecture, to refine detailed components down to RTOS or hardware description. The SIGNAL model supports a design methodology which goes from specification to implementation, from abstraction to concretization, from synchrony to asynchrony.SIGNAL has been mainly developed in INRIAEspresso team since the 1980s, at the same time as Esterel and Lustre.".
- SIGNAL_(programming_language) wikiPageExternalLink esterel-eng.html.
- SIGNAL_(programming_language) wikiPageExternalLink SYNCHRONE.
- SIGNAL_(programming_language) wikiPageExternalLink www.inria.fr.
- SIGNAL_(programming_language) wikiPageExternalLink espresso.
- SIGNAL_(programming_language) wikiPageExternalLink Polychrony.
- SIGNAL_(programming_language) wikiPageExternalLink home_html.
- SIGNAL_(programming_language) wikiPageExternalLink sigali.html.
- SIGNAL_(programming_language) wikiPageExternalLink index.html.
- SIGNAL_(programming_language) wikiPageExternalLink www.topcased.org.
- SIGNAL_(programming_language) wikiPageID "32475185".
- SIGNAL_(programming_language) wikiPageRevisionID "597053670".
- SIGNAL_(programming_language) hasPhotoCollection SIGNAL_(programming_language).
- SIGNAL_(programming_language) subject Category:Declarative_programming_languages.
- SIGNAL_(programming_language) subject Category:Formal_methods.
- SIGNAL_(programming_language) subject Category:Hardware_description_languages.
- SIGNAL_(programming_language) subject Category:Software_modeling_language.
- SIGNAL_(programming_language) subject Category:Synchronous_programming_languages.
- SIGNAL_(programming_language) type Ability105616246.
- SIGNAL_(programming_language) type Abstraction100002137.
- SIGNAL_(programming_language) type Cognition100023271.
- SIGNAL_(programming_language) type Communication100033020.
- SIGNAL_(programming_language) type FormalMethods.
- SIGNAL_(programming_language) type HardwareDescriptionLanguages.
- SIGNAL_(programming_language) type Know-how105616786.
- SIGNAL_(programming_language) type Language106282651.
- SIGNAL_(programming_language) type Method105660268.
- SIGNAL_(programming_language) type PsychologicalFeature100023100.
- SIGNAL_(programming_language) comment "SIGNAL is a programming language based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows describing both data and control.The SIGNAL formal model provides the capability to describe systems with several clocks (polychronous systems) as relational specifications6+9685-.".
- SIGNAL_(programming_language) label "SIGNAL (programming language)".
- SIGNAL_(programming_language) sameAs m.0h1dzh7.
- SIGNAL_(programming_language) sameAs Q7390335.
- SIGNAL_(programming_language) sameAs Q7390335.
- SIGNAL_(programming_language) sameAs SIGNAL_(programming_language).
- SIGNAL_(programming_language) wasDerivedFrom SIGNAL_(programming_language)?oldid=597053670.
- SIGNAL_(programming_language) homepage Polychrony.
- SIGNAL_(programming_language) isPrimaryTopicOf SIGNAL_(programming_language).