1311 search results - page 210 / 263 » Embedded System Design for Automotive Applications |
141
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
169
click to vote
TCAD
2002
15 years 5 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
150
click to vote
WAIM
2010
Springer
15 years 3 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
155
click to vote
CASES
2005
ACM
15 years 7 months ago
2005
ACM
Interconnection networks have been deployed as the communication fabric in a wide range of parallel computer systems. With recent technological trends allowing growing quantities ...
144
Voted
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...