2947 search results - page 239 / 590 » The timely token protocol |
135
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In the past years Dynamic Voltage and Frequency Scaling (DVFS) has been an effective technique that allowed microprocessors to match a predefined power budget. However, as process...
162
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
183
click to vote
RTAS
2006
IEEE
16 years 18 days ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
192
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...
162
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...