Sciweavers

14331 search results - page 33 / 2867
» On the modeling and analysis of obligations
Sort
View
SIGSOFT
2007
ACM
16 years 6 months ago
Programming asynchronous layers with CLARITY
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
Prakash Chandrasekaran, Christopher L. Conway, Jos...
SMI
2008
IEEE
168views Image Analysis» more  SMI 2008»
16 years 14 days ago
Autotagging to improve text search for 3D models
Corey Goldfeder, Peter K. Allen