8337 search results - page 1482 / 1668 » Reasoning With Characteristic Models |
156
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
176
click to vote
SSDBM
2000
IEEE
15 years 9 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
151
click to vote
SC
2000
ACM
15 years 9 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...
147
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
155
click to vote
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...