1012 search results - page 102 / 203 » Process Algebra with Backtracking |
104
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
120
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
106
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
110
click to vote
GLOBAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
120
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...