Sciweavers

1410 search results - page 174 / 282
» A Logic for Virtual Memory
Sort
View
ACMMSP
2006
ACM
278views Hardware» more  ACMMSP 2006»
16 years 5 days ago
Atomicity via source-to-source translation
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
Benjamin Hindman, Dan Grossman
LCN
2005
IEEE
15 years 11 months ago
Rate-based Flow-control for the CICQ Switch
A combined input and crosspoint queued (CICQ) switch with a flow control latency of round-trip time (RTT) packets requires each crosspoint (CP) buffer to hold the RTT packets in o...
Kenji Yoshigoe
GECCO
2005
Springer
109views Optimization» more  GECCO 2005»
15 years 11 months ago
A hybrid evolutionary algorithm for the p-median problem
A hybrid evolutionary algorithm (EA) for the p-median problem consist of two stages, each of which is a steady-state hybrid EA. These EAs encode selections of medians as subsets o...
István Borgulya
WEBDB
2005
Springer
132views Database» more  WEBDB 2005»
15 years 11 months ago
On the role of composition in XQuery
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...
Christoph Koch
IPPS
2003
IEEE
15 years 11 months ago
Performance Prediction of Paging Workloads Using Lightweight Tracing
A trace of a workload’s system calls can be obtained with minimal interference, and can be used to drive repeatable experiments to evaluate system configuration alternatives. R...
Ariel N. Burton, Paul H. J. Kelly