4353 search results - page 232 / 871 » Expressiveness of Process Algebras |
243
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Disease occurs due to aberrant modulation of biological pathways. Identification of activated gene pathways from gene expression data is an important problem. In this work, we de...
151
click to vote
FSEN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
153
click to vote
ICMCS
2006
IEEE
16 years 17 days 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 ...
170
click to vote
ICCS
2004
Springer
15 years 12 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...
153
click to vote
IFIP
2004
Springer
15 years 12 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...