414 search results - page 61 / 83 » Using Strongest Postconditions to Improve Software Quality |
160
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...
147
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Design patterns present good solutions to frequently occurring problems in object-oriented software design. Thus their correct application in a system’s design may significantl...
159
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Compiler technology is becoming a key component in the design of embedded systems, mostly due to increasing participation of software in the design process. Meeting system-level ob...
165
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
148
click to vote
IUI
2009
ACM
16 years 2 months ago
2009
ACM
Many websites use tags as a mechanism for improving item metadata through collective user effort. Users of tagging systems often apply far more tags to an item than a system can ...