1102 search results - page 42 / 221 » Generalizing Updates: From Models to Programs |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
ICPPW
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...
VLDB
1990
ACM
14 years 2 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
CLUSTER
2007
IEEE
14 years 4 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
BMCBI
2004
13 years 9 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...