1581 search results - page 250 / 317 » Mechanizing Inductive Reasoning |
113
click to vote
VL
2000
IEEE
15 years 4 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
101
click to vote
SC
2000
ACM
15 years 4 months ago
2000
ACM
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
105
click to vote
ECRTS
1999
IEEE
15 years 4 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
Multicast communication is becoming the basis for a growing number of applications. It is therefore critical to provide sound security mechanisms for multicast communication. Yet, ...