6274 search results - page 1020 / 1255 » Proofs, Programs, Processes |
119
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
The graphics processing unit (GPU) has evolved from a fixedfunction processor with programmable stages to a programmable processor with many fixed-function components that deliver...
158
Voted
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
112
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We analyze knowledge production in Computer Science by means of coauthorship networks. For this, we consider 30 graduate programs of different regions of the world, being 8 progra...
94
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The evaluation and assessment of physicians-in-training (house staff) is a complex task. Residency training programs are under increasing pressure [1] to provide accurate and comp...