1163 search results - page 89 / 233 » Concurrent Subspaces Analysis |
141
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
123
Voted
AIPS
2009
15 years 4 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
139
Voted
CONCURRENCY
2010
15 years 3 months ago
2010
Communication through relay channels in wireless sensor networks can create diversity and consequently improve robustness of data transmission for ubiquitous computing and network...
123
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
141
Voted
CONCURRENCY
2007
15 years 3 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....