Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/SIGNAL_(programming_language)> ?p ?o }
Showing triples 1 to 97 of
97
with 100 triples 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 similar programming languages, 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) wikiPageLength "8223".
- SIGNAL_(programming_language) wikiPageOutDegree "73".
- SIGNAL_(programming_language) wikiPageRevisionID "698742698".
- SIGNAL_(programming_language) wikiPageWikiLink Abstract_and_concrete.
- SIGNAL_(programming_language) wikiPageWikiLink Abstraction.
- SIGNAL_(programming_language) wikiPageWikiLink Architecture.
- SIGNAL_(programming_language) wikiPageWikiLink Architecture_Analysis_&_Design_Language.
- SIGNAL_(programming_language) wikiPageWikiLink Array_data_type.
- SIGNAL_(programming_language) wikiPageWikiLink Asynchrony_(computer_programming).
- SIGNAL_(programming_language) wikiPageWikiLink Avionics.
- SIGNAL_(programming_language) wikiPageWikiLink Block_diagram.
- SIGNAL_(programming_language) wikiPageWikiLink Bus_(computing).
- SIGNAL_(programming_language) wikiPageWikiLink Category:Declarative_programming_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Formal_methods.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Hardware_description_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Software_modeling_language.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Synchronous_programming_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Compiler.
- SIGNAL_(programming_language) wikiPageWikiLink Dataflow.
- SIGNAL_(programming_language) wikiPageWikiLink Dataflow_programming.
- SIGNAL_(programming_language) wikiPageWikiLink Design_methods.
- SIGNAL_(programming_language) wikiPageWikiLink Digital_signal_processing.
- SIGNAL_(programming_language) wikiPageWikiLink Documentation.
- SIGNAL_(programming_language) wikiPageWikiLink Domain-specific_language.
- SIGNAL_(programming_language) wikiPageWikiLink Eclipse.
- SIGNAL_(programming_language) wikiPageWikiLink Eclipse_Modeling_Framework.
- SIGNAL_(programming_language) wikiPageWikiLink Esterel.
- SIGNAL_(programming_language) wikiPageWikiLink Formal_verification.
- SIGNAL_(programming_language) wikiPageWikiLink Front_and_back_ends.
- SIGNAL_(programming_language) wikiPageWikiLink Globally_asynchronous_locally_synchronous.
- SIGNAL_(programming_language) wikiPageWikiLink Graphical_user_interface.
- SIGNAL_(programming_language) wikiPageWikiLink Homogeneity_and_heterogeneity.
- SIGNAL_(programming_language) wikiPageWikiLink Implementation.
- SIGNAL_(programming_language) wikiPageWikiLink Lustre_(programming_language).
- SIGNAL_(programming_language) wikiPageWikiLink Metamodeling.
- SIGNAL_(programming_language) wikiPageWikiLink Mode_automata.
- SIGNAL_(programming_language) wikiPageWikiLink Model-driven_engineering.
- SIGNAL_(programming_language) wikiPageWikiLink Model_checking.
- SIGNAL_(programming_language) wikiPageWikiLink Model_of_computation.
- SIGNAL_(programming_language) wikiPageWikiLink Nondeterministic_programming.
- SIGNAL_(programming_language) wikiPageWikiLink Ontology_components.
- SIGNAL_(programming_language) wikiPageWikiLink Open_source.
- SIGNAL_(programming_language) wikiPageWikiLink Programming_language.
- SIGNAL_(programming_language) wikiPageWikiLink Real-time_computing.
- SIGNAL_(programming_language) wikiPageWikiLink Real-time_operating_system.
- SIGNAL_(programming_language) wikiPageWikiLink Reflexive_editor.
- SIGNAL_(programming_language) wikiPageWikiLink Sample_rate_conversion.
- SIGNAL_(programming_language) wikiPageWikiLink Semantics_(computer_science).
- SIGNAL_(programming_language) wikiPageWikiLink Simulink.
- SIGNAL_(programming_language) wikiPageWikiLink Sliding_window_protocol.
- SIGNAL_(programming_language) wikiPageWikiLink Specification_(technical_standard).
- SIGNAL_(programming_language) wikiPageWikiLink Supervisory_control.
- SIGNAL_(programming_language) wikiPageWikiLink Synchronization.
- SIGNAL_(programming_language) wikiPageWikiLink Synchronous_programming_language.
- SIGNAL_(programming_language) wikiPageWikiLink System.
- SIGNAL_(programming_language) wikiPageWikiLink Systems_design.
- SIGNAL_(programming_language) wikiPageWikiLink Top-down_and_bottom-up_design.
- SIGNAL_(programming_language) wikiPageWikiLink Tree.
- SIGNAL_(programming_language) wikiPageWikiLink Wikt:asynchrony.
- SIGNAL_(programming_language) wikiPageWikiLinkText "SIGNAL (programming language)".
- SIGNAL_(programming_language) wikiPageWikiLinkText "SIGNAL programming language".
- SIGNAL_(programming_language) wikiPageWikiLinkText "SIGNAL".
- SIGNAL_(programming_language) wikiPageWikiLinkText "Signal".
- SIGNAL_(programming_language) wikiPageUsesTemplate Template:Abbreviations.
- SIGNAL_(programming_language) wikiPageUsesTemplate Template:Clarify.
- SIGNAL_(programming_language) wikiPageUsesTemplate Template:Reflist.
- 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) hypernym Language.
- SIGNAL_(programming_language) type Area.
- SIGNAL_(programming_language) type Language.
- SIGNAL_(programming_language) type Area.
- SIGNAL_(programming_language) type Language.
- SIGNAL_(programming_language) type Method.
- SIGNAL_(programming_language) type Redirect.
- 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 Q7390335.
- SIGNAL_(programming_language) sameAs m.0h1dzh7.
- SIGNAL_(programming_language) sameAs Q7390335.
- SIGNAL_(programming_language) wasDerivedFrom SIGNAL_(programming_language)?oldid=698742698.
- SIGNAL_(programming_language) homepage Polychrony.
- SIGNAL_(programming_language) isPrimaryTopicOf SIGNAL_(programming_language).