770 search results - page 118 / 154 » Dinatural Terms in System F |
EMSOFT
2007
Springer
14 years 12 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
PODC
2010
ACM
14 years 11 days ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Traditional workload management methods mainly focus on the current system status while information about the interaction between queued and running transactions is largely ignore...
SIGMOD
2010
ACM
13 years 8 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
BMCBI
2010
13 years 8 months ago
2010
Background: Data integration is an escalating problem in bioinformatics. We have developed a web tool and warehousing system, Booly, that features a simple yet flexible data model...