1286 search results - page 185 / 258 » From System F to Typed Assembly Language |
TPHOL
1994
IEEE
13 years 12 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Over the past few years, we have been trying to build an end-to-end system at Wisconsin to manage unstructured data, using extraction, integration, and user interaction. This pape...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
DMIN
2006
13 years 9 months ago
2006
- Research work related to applying text categorization methods to a monolingual corpus such as English text collections has been well established by several research teams in rece...
ICPP
2003
IEEE
14 years 1 months ago
2003
IEEE
Process/thread migration and checkpointing schemes support load balancing, load sharing and fault tolerance to improve application performance and system resource usage on worksta...