1940 search results - page 230 / 388 » Dependable Software: An Oxymoron |
181
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
175
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
204
click to vote
FPGA
2007
ACM
16 years 21 days ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
231
click to vote
SCESM
2006
ACM
16 years 15 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
180
click to vote
UML
2005
Springer
16 years 11 hour ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...