1205 search results - page 101 / 241 » On P Systems with Bounded Parallelism |
133
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
139
Voted
CONCUR
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
126
Voted
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...
131
Voted
PARELEC
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we investigate the worst case performance of Earliest Due Date algorithm when applied to packet scheduling in distributed systems. We assume that the processing ele...
154
Voted
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...