Sciweavers

29046 search results - page 345 / 5810
» Computable Models
Sort
View
DAC
2007
ACM
16 years 5 months ago
Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs
A key step in the design of cyclo-static real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure, which means that tasks...
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit
MICCAI
2005
Springer
16 years 5 months ago
Computer-Assisted Ankle Joint Arthroplasty Using Bio-engineered Autografts
Bio-engineered cartilage has made substantial progress over the last years. Preciously few cases, however, are known where patients were actually able to benefit from these develop...
Rudolf Sidler, Wolfgang Köstler, Thibaut Bard...
AINA
2009
IEEE
15 years 11 months ago
Reliability-Driven Reputation Based Scheduling for Public-Resource Computing Using GA
— For an application in public-resource computing environments, providing reliable scheduling based on resource reliability evaluation is becoming increasingly important. Most ex...
Xiaofeng Wang, Chee Shin Yeo, Rajkumar Buyya, Jins...
IMSCCS
2007
IEEE
15 years 11 months ago
An Innovative Simulation Approach for Water Mediated Attraction Based on Grid Computing
In order to investigate the behavior of the solvation, particularly, to quantify the solvent effects on the properties of solutes on a molecular basis, several simulation approach...
Zhifeng Yun, Samuel J. Keasler, Maoyuan Xie, Zhou ...
124
Voted
EUROCRYPT
2007
Springer
15 years 11 months ago
Conditional Computational Entropy, or Toward Separating Pseudoentropy from Compressibility
We study conditional computational entropy: the amount of randomness a distribution appears to have to a computationally bounded observer who is given some correlated information....
Chun-Yuan Hsiao, Chi-Jen Lu, Leonid Reyzin