469 search results - page 82 / 94 » Putting curry-howard to work |
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
SIGIR
2006
ACM
14 years 1 months ago
2006
ACM
Text message stream is a newly emerging type of Web data which is produced in enormous quantities with the popularity of Instant Messaging and Internet Relay Chat. It is benefici...
ICDT
2005
ACM
14 years 1 months ago
2005
ACM
Abstract. In this paper, we consider whether traditional index structures are effective in processing unstable nearest neighbors workloads. It is known that under broad conditions...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Traditionally, scheduling in high-end parallel systems focuses on how to minimize the average job waiting time and on how to maximize the overall system utilization. Despite the d...
ICADL
2005
Springer
14 years 29 days ago
2005
Springer
Users of a digital book library system typically interact with the system to search for books by querying on the metadata describing the books or to search for information in the p...