Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Clock_Constraints_Specification_Language> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- Clock_Constraints_Specification_Language abstract "The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from synchronous languages (like Esterel or Signal).A solver of CCSL constraints is implemented in the TimeSquare tool.".
- Clock_Constraints_Specification_Language wikiPageID "41766625".
- Clock_Constraints_Specification_Language wikiPageLength "731".
- Clock_Constraints_Specification_Language wikiPageOutDegree "7".
- Clock_Constraints_Specification_Language wikiPageRevisionID "596460963".
- Clock_Constraints_Specification_Language wikiPageWikiLink Category:Time.
- Clock_Constraints_Specification_Language wikiPageWikiLink Category:Unified_Modeling_Language.
- Clock_Constraints_Specification_Language wikiPageWikiLink Esterel.
- Clock_Constraints_Specification_Language wikiPageWikiLink Leslie_Lamport.
- Clock_Constraints_Specification_Language wikiPageWikiLink Logical_clock.
- Clock_Constraints_Specification_Language wikiPageWikiLink Modeling_and_Analysis_of_Real_Time_and_Embedded_systems.
- Clock_Constraints_Specification_Language wikiPageWikiLink Solver.
- Clock_Constraints_Specification_Language wikiPageWikiLinkText "CCSL".
- Clock_Constraints_Specification_Language wikiPageWikiLinkText "Clock Constraints Specification Language".
- Clock_Constraints_Specification_Language wikiPageUsesTemplate Template:Reflist.
- Clock_Constraints_Specification_Language subject Category:Time.
- Clock_Constraints_Specification_Language subject Category:Unified_Modeling_Language.
- Clock_Constraints_Specification_Language hypernym Language.
- Clock_Constraints_Specification_Language type Language.
- Clock_Constraints_Specification_Language comment "The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from synchronous languages (like Esterel or Signal).A solver of CCSL constraints is implemented in the TimeSquare tool.".
- Clock_Constraints_Specification_Language label "Clock Constraints Specification Language".
- Clock_Constraints_Specification_Language sameAs Q16919522.
- Clock_Constraints_Specification_Language sameAs m.0_h148x.
- Clock_Constraints_Specification_Language sameAs Q16919522.
- Clock_Constraints_Specification_Language wasDerivedFrom Clock_Constraints_Specification_Language?oldid=596460963.
- Clock_Constraints_Specification_Language isPrimaryTopicOf Clock_Constraints_Specification_Language.