154 search results - page 17 / 31 » Comparison of Process Algebra Equivalences Using Formats |
73
Voted
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
In a machine that follows the dynamically trace scheduled VLIW (DTSVLIW) architecture, VLIW instructions are built dynamically through an algorithm that can be implemented in hard...
ENTCS
2006
14 years 9 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
We propose a mixture of multiple linear models, also known as hybrid linear model, for a sparse representation of an image. This is a generalization of the conventional KarhunenLo...
JLP
2007
14 years 9 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...