2960 search results - page 349 / 592 » A vision for embedded software |
122
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
A measure for the quality of software is the extent to which it corresponds to the business objectives and requirements it was designed for. The earlier those who elicit the requir...
135
Voted
FASE
2004
Springer
15 years 8 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...
145
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
114
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
A monotone planar circuit (MPC) is a Boolean circuit that can be embedded in a plane, and that has only AND and OR gates. Yang showed that the one-input-face monotone planar circui...
146
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Energy consumption is a crucial factor in designing batteryoperated embedded and mobile systems. The memory system is a major contributor to the system energy in such environments...