932 search results - page 64 / 187 » Verifying Progress in Timed Systems |
172
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
177
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
178
click to vote
WCRE
2009
IEEE
16 years 27 days ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
201
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
186
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...