Sciweavers

97 search results - page 20 / 20
» Some Considerations on the Reason for Bloat
Sort
View
ICSE
2011
IEEE-ACM
14 years 3 months ago
Inferring better contracts
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand M...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
14 years 11 months ago
Visualizing graphs in three dimensions
It has been known for some time that larger graphs can be interpreted if laid out in 3D and displayed with stereo and/or motion depth cues to support spatial perception. However, ...
Colin Ware, Peter Mitchell