3330 search results - page 532 / 666 » software 2010 |
134
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
162
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
140
Voted
UIST
2010
ACM
15 years 2 months ago
2010
ACM
Visual information pervades our environment. Vision is used to de cide everything from what we want to eat at a restaurant and which bus route to take to whether our clothes match...
166
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
167
click to vote
AVI
2010
15 years 5 months ago
2010
Advanced visual interfaces, like the ones found in informaualization, intend to offer a view on abstract data spaces to enable users to make sense of them. By mapping data to visu...