253 search results - page 38 / 51 » Software Engineering: A System Dynamics Simulated Pedagogica... |
147
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
128
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
128
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
114
Voted
ICRE
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
119
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...