1304 search results - page 181 / 261 » Model Checking C Programs Using F-SOFT |
150
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
154
Voted
JSA
2010
14 years 10 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
127
Voted
DAC
2008
ACM
15 years 5 months ago
2008
ACM
Security of MPSoCs is an emerging area of concern in embedded systems. Security is jeopardized by code injection attacks, which are the most common types of software attacks. Prev...
128
click to vote
WSC
1998
15 years 4 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
132
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...