1179 search results - page 43 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
124
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
180
click to vote
CUZA
2002
15 years 5 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
158
click to vote
EUROPAR
2009
Springer
16 years 3 days ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
158
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
158
click to vote
ICON
2007
IEEE
15 years 12 months ago
2007
IEEE
- In this paper we analyze the performance, utilization, and power estimation of server systems by both adopting the batch service and adjusting the batch size. In addition to redu...