858 search results - page 151 / 172 » Inspections in Small Projects |
POPL
2010
ACM
14 years 8 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
PPOPP
2010
ACM
14 years 8 months ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
Programming microcontrollers for tangible interfaces can be easier and more accessible than it is now, empowering a broader audience to participate. The first part of this studio ...
ACSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
—Along with the burst of open source projects, software theft (or plagiarism) has become a very serious threat to the healthiness of software industry. Software birthmark, which ...
ACHI
2009
IEEE
14 years 5 months ago
2009
IEEE
– The general context of the work presented in this paper is assistive robotics with our long-term aim to support children with autism. This paper is part of the Aurora project t...