2523 search results - page 231 / 505 » Correct Development of Embedded Systems |
118
click to vote
RTAS
1997
IEEE
15 years 6 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
140
Voted
INFSOF
2010
15 years 1 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
121
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
149
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
116
click to vote
HIPEAC
2005
Springer
15 years 8 months ago
2005
Springer
Detecting and predicting a program’s execution phases are crucial to dynamic optimizations and dynamically adaptable systems. This paper shows that a phase can be associated with...