Sciweavers

1058 search results - page 17 / 212
» Using Different Representations of Synchronous Systems in SA...
Sort
View
AIIDE
2007
15 years 8 months ago
A Comparative Analysis of Story Representations for Interactive Narrative Systems
Interactive narrative is a blossoming field, with new systems and approaches being developed each year. However, despite this burgeoning array of designs, little work has been don...
Brian Magerko
CASES
2008
ACM
15 years 8 months ago
Efficiency and scalability of barrier synchronization on NoC based many-core architectures
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...
Oreste Villa, Gianluca Palermo, Cristina Silvano
TECS
2008
94views more  TECS 2008»
15 years 6 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
HICSS
2012
IEEE
346views Biometrics» more  HICSS 2012»
14 years 1 months ago
The Fundamental Concept of Unified Generalized Model and Data Representation for New Applications in the Future Grid
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
Mladen Kezunovic, Santiago Grijalva, Papiya Dutta,...
FMICS
2010
Springer
15 years 7 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre