Sciweavers

4015 search results - page 438 / 803
» The Future of Software Performance Engineering
Sort
View
185
Voted
KBSE
2007
IEEE
16 years 1 months ago
Assertion-based repair of complex data structures
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sar...
ISSTA
2010
ACM
15 years 10 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov
221
Voted
LCTRTS
2010
Springer
15 years 4 months ago
Compiler directed network-on-chip reliability enhancement for chip multiprocessors
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
Ozcan Ozturk, Mahmut T. Kandemir, Mary Jane Irwin,...
185
Voted
ICC
2008
IEEE
123views Communications» more  ICC 2008»
16 years 1 months ago
Downlink OFDM Scheduling and Resource Allocation for Delay Constraint SVC Streaming
Abstract—Efficient delivery of multimedia contents over wireless network is essential for future communication networks. However, content distribution and network engineering ar...
Xin Ji, Jianwei Huang, Mung Chiang, Francky Cattho...
177
Voted
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
15 years 10 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup