2523 search results - page 257 / 505 » Correct Development of Embedded Systems |
150
click to vote
CASES
2005
ACM
15 years 5 months ago
2005
ACM
Dynamic frequency scaling and dynamic voltage scaling have been developed to save power and/or energy for general purpose computing platforms and high-end embedded systems. This p...
123
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
140
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
139
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
122
Voted
SIROCCO
2004
15 years 4 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...