1199 search results - page 141 / 240 » Software Verification and Software Engineering a Practitione... |
162
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
The primary contribution of this paper is investigating how the User Centered Design approach is integrated into the industry. Employing a structured web-survey, targeted to the u...
180
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
188
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
194
click to vote
IEEECGIV
2005
IEEE
15 years 11 months ago
2005
IEEE
Creating a 3-D game engine is not a trivial task as gamers often demand for high quality output with top notch performance in games. In this paper, we show you how various real-ti...
179
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Current search engines crawl the Web, download content, and digest this content locally. For multimedia content, this involves considerable volumes of data. Furthermore, this proc...