932 search results - page 64 / 187 » Verifying Progress in Timed Systems |
142
Voted
ISSRE
2003
IEEE
15 years 9 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...
146
Voted
ISPAN
1999
IEEE
15 years 8 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...
159
Voted
WCRE
2009
IEEE
15 years 10 months 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...
171
Voted
BMCBI
2010
15 years 3 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...
155
Voted
IPPS
1999
IEEE
15 years 8 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...