Sciweavers

97 search results - page 20 / 20
» Some Considerations on the Reason for Bloat
Sort
View
ICSE
2011
IEEE-ACM
12 years 8 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»
13 years 4 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