1399 search results - page 100 / 280 » A Component Model for Control-Intensive Distributed Embedded... |
93
Voted
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
130
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
128
Voted
APLAS
2010
ACM
15 years 7 days ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
126
Voted
RTAS
1997
IEEE
15 years 6 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
108
Voted
ISOLA
2010
Springer
15 years 20 days ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...