2
by Grun, Peter, Dutt, Nikil D., Nicolau, Alexandru
Published 2002
Springer US
...Memory Architecture Exploration for Programmable Embedded Systems addresses efficient exploration...

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...Field programmable gate array (FPGA) circuits -- Evolutionary algorithms -- Artificial cellular...

4
Published 2000
Springer US
Table of Contents: .... Workloads for Programmable Network Interfaces -- 8. A Characterization of Control Independence in Programs...

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... and Programmable Grids Architectures and Components -- Workshop on Next Generation Computing -- Workshop...

6
Published 1979
Springer Berlin Heidelberg
Table of Contents: ... Programme...

7
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Mobile Agent-Based Programmable Hybrid Intrusion Detection System -- Optimistic Blinded-Key Signatures...

8
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... in programming language design -- Sur quelques systémes de programmation pour les recherches scientifiques...

9
Published 1977
Springer Berlin Heidelberg
Table of Contents: ... Korrektheitsbeweise für While-Programme -- Towards automation of proofs by induction -- A syntactic connection between...

10
Published 1991
Springer Berlin Heidelberg
... international distribution. The programme committee was chosen from very well reputed researchers...

11
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... -- Personality and procedure-writing: What makes a kid a good (or not so good) programmer? -- Logo — Eine...

12
Published 1992
Springer Berlin Heidelberg
... the programme committee and a panel of referees from a large number of submissions...

13
Published 1992
Springer Berlin Heidelberg
... countries. Each paper was reviewed by at least three reviewers; based on these reviews, the programme...

14
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- Programmable...

15
Published 2003
Springer US
Table of Contents: ... Implementation and Verification of Programmable Security -- 23 A Process Algebraic Approach to Security Policies...

16
Published 1991
Springer Berlin Heidelberg
.... This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference...

17
Published 1975
Springer Berlin Heidelberg
Table of Contents: ...Algebraic models I -- Structured programmability of iterative algorithms -- On equivalence...

18
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... Processor Network with Programmable Logic -- POMP or How to design a massively parallel machine with small...

19
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... -- Langages sans etiquettes et transformations de programmes -- Relations between semantics and complexity...

20
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... shapes -- Algebraic programm interpreter APREX2...