9210 search results - page 1332 / 1842 » Analyzing Real-Time Systems |
245
click to vote
CAV
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
170
click to vote
ERCIMDL
2005
Springer
16 years 12 days ago
2005
Springer
The OAI protocol facilitates the aggregation of large numbers of heterogeneous metadata records. In order to make harvested records useable in the context of an OAI service provide...
146
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
The identification of mechanisms by which constraints on phenotypic variability are tuned in nature, and the implementation of these mechanisms in Evolutionary Algorithms (EAs) ca...
204
click to vote
EAGC
2004
Springer
16 years 8 days ago
2004
Springer
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
184
click to vote
IEEEPACT
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...