4482 search results - page 671 / 897 » The Crowdsourcing Design Space |
ICCAD
2002
IEEE
14 years 6 months ago
2002
IEEE
In mixed-signal designs, substrate noise originating from the digital part can seriously influence the functionality of the analog part. As such, accurately modeling the properti...
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
IUI
2010
ACM
14 years 6 months ago
2010
ACM
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
DASFAA
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract. Until recently algorithms continuously gained free performance improvements due to ever increasing processor speeds. Unfortunately, this development has reached its limit...