1833 search results - page 316 / 367 » Mechanized Verification with Sharing |
EVOW
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Clustering still represents the most commonly used technique to analyze gene expression data—be it classical clustering approaches that aim at finding biologically rel...
CIKM
2004
Springer
14 years 4 months ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
AGP
2003
IEEE
14 years 4 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
MSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Disk drives are now available with capacities on the order of hundreds of gigabytes. What has not become available is an easy way to manage storage. With installed machines locate...
SAC
2003
ACM
14 years 4 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...