4018 search results - page 106 / 804 » Process algebra for performance evaluation |
136
Voted
APCSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
140
click to vote
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Most approaches to application integration require an unambiguous exchange of events. Ontologies can be used to annotate the events exchanged and thus ensure a common und...
112
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
101
Voted
FUIN
2007
15 years 3 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
121
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—FPGAs are widely used for evaluating the error-floor performance of LDPC (low-density parity check) codes. We propose a scalable vector decoder for FPGA-based implementation of...