11573 search results - page 2201 / 2315 » Designing Relational Databases |
112
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
156
click to vote
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
The shrinking processor feature size, lower threshold voltage and increasing clock frequency make modern processors highly vulnerable to transient faults. Architectural Vulnerabil...
126
click to vote
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
Prior research demonstrates that temporal memory streaming and related address-correlating prefetchers improve performance of commercial server workloads though increased memory l...
147
click to vote
KDD
2009
ACM
16 years 3 months ago
2009
ACM
Active and semi-supervised learning are important techniques when labeled data are scarce. Recently a method was suggested for combining active learning with a semi-supervised lea...
123
click to vote
MOBIHOC
2009
ACM
16 years 3 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...