13004 search results - page 2334 / 2601 » Mining Software Data |
264
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
242
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Service providers like Google and Amazon are moving into the SaaS (Software as a Service) business. They turn their huge infrastructure into a cloud-computing environment and aggr...
149
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
In the rapidly developing field of sensor networks, bridging the gap between the applications and the hardware presents a major challenge. Although middleware is one solution, it ...
157
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
145
click to vote
WWW
2010
ACM
16 years 39 min ago
2010
ACM
There are significant barriers to academic research into user Web search preferences. Academic researchers are unable to manipulate the results shown by a major search engine to ...