1 | -- | 10 | Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung. Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organization |
11 | -- | 25 | Mark S. Nixon, Xin U. Liu, Cem Direkoglu, David J. Hurley. On Using Physical Analogies for Feature and Shape Extraction in Computer Vision |
26 | -- | 30 | Stefan S. Dantchev. Dynamic Neighbourhood Cellular Automata |
31 | -- | 41 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema. Modal Logics are Coalgebraic |
42 | -- | 57 | Glynn Winskel. Events, Causality and Symmetry |
58 | -- | 87 | Andreas Bauer 0002, Jan Jürjens, Yijun Yu. Run-Time Security Traceability for Evolving Systems |
88 | -- | 107 | Kohei Honda, Nobuko Yoshida. A Unified Theory of Program Logics: An Approach based on the π-Calculus |
108 | -- | 124 | Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han. Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark |
125 | -- | 135 | Sebastián Basterrech, Samir Mohamed, Gerardo Rubino, Mostafa Soliman. Levenberg - Marquardt Training Algorithms for Random Neural Networks |
136 | -- | 138 | David Hartley. EDSAC at 60 - A Celebration of 60 Years Since the First Program Ran on the EDSAC at Cambridge |
139 | -- | 142 | David Barron. EDSAC: A Programmer Remembers |
143 | -- | 147 | Doron Swade. Inventing the User: EDSAC in Context |
148 | -- | 156 | Davide Cavagnino, Albert Werbrouck. An Analysis of Associated Dividends in the DBM Algorithm for Division by Constants Using Multiplication |
157 | -- | 163 | GuanJun Liu, Changjun Jiang, Daniel Y. Chao. A Necessary and Sufficient Condition for the Liveness of Normal Nets |
164 | -- | 184 | Jing Dong, Tu Peng, Yajing Zhao. On Instantiation and Integration Commutability of Design Pattern |