Sciweavers

3384 search results - page 322 / 677
» More Testable Properties
Sort
View
ALIFE
1998
15 years 6 months ago
Computational Models for the Formation of Protocell Structures
There have been various attempts to simulate the self-assembly process of lipid aggregates by computers. However, due to the computationally complex nature of the problem, previou...
Linglan Edwards, Yun Peng, James A. Reggia
TPDS
1998
71views more  TPDS 1998»
15 years 6 months ago
Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability
—Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency ...
Jichiang Tsai, Sy-Yen Kuo, Yi-Min Wang
SP
2002
IEEE
165views Security Privacy» more  SP 2002»
15 years 6 months ago
NINJA: Java for high performance numerical computing
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
José E. Moreira, Samuel P. Midkiff, Manish ...
TPDS
2002
134views more  TPDS 2002»
15 years 6 months ago
Automatic Recovery from Disk Failure in Continuous-Media Servers
Continuous-media (CM) servers have been around for some years. Apart from server capacity, another important issue in the deployment of CM servers is reliability. This study invest...
Jack Y. B. Lee, John C. S. Lui
PRL
2008
122views more  PRL 2008»
15 years 6 months ago
Constraints for closest point finding
The traditional closest point criterion has been widely used for 3D free form shape matching, object recognition, internet search, computer graphics and medical imaging. However, ...
Yonghuai Liu