Zoekresultaten - function computation programming design logic circuits*

1

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

door Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Gepubliceerd in 2005

Inhoudsopgave: “... Computing Systems. Summary -- Languages and Compilation. Design Cycle. Languages. High Level Compilation...”
Volledige tekst

Elektronisch E-boek

2

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers /

Gepubliceerd in 2013

Inhoudsopgave: “... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...”
Volledige tekst

Elektronisch E-boek

3

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Gepubliceerd in 2015

Inhoudsopgave: “... Circuits -- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level...”
Volledige tekst

Elektronisch E-boek

4

Reversible Computation Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers /

Gepubliceerd in 2012

Onderwerpen: “...Computer logic....”
Volledige tekst

Elektronisch E-boek

5

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...”
Volledige tekst

Elektronisch E-boek

6

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”
Volledige tekst

Elektronisch E-boek

7

ESL Models and their Application Electronic System Level Design and Verification in Practice /

door Bailey, Brian., Bailey, Brian., Martin, Grant.
Gepubliceerd in 2010

Inhoudsopgave: “...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...”
Volledige tekst

Elektronisch E-boek

8

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard...”
Volledige tekst

Elektronisch E-boek

9

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Gepubliceerd in 2007

Inhoudsopgave: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Volledige tekst

Elektronisch E-boek

10

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Gepubliceerd in 2008

Inhoudsopgave: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volledige tekst

Elektronisch E-boek

11

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Gepubliceerd in 2015

Inhoudsopgave: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Volledige tekst

Elektronisch E-boek

12

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA...”
Volledige tekst

Elektronisch E-boek

13

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications /

Gepubliceerd in 2010

Inhoudsopgave: “... Architectures -- Erlangen Slot Machine: An FPGA-Based Dynamically Reconfigurable Computing Platform -- Design...”
Volledige tekst

Elektronisch E-boek

14

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Volledige tekst

Elektronisch E-boek

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Gepubliceerd in 2007

Inhoudsopgave: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Volledige tekst

Elektronisch E-boek

16

Advanced Techniques in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...”
Volledige tekst

Elektronisch E-boek

17

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Design -- Walsh Function Systems: The Bisectional Evolutional Generation Pattern -- Extrinsic Evolvable...”
Volledige tekst

Elektronisch E-boek

18

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols...”
Volledige tekst

Elektronisch E-boek

19

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... for Biology -- A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits -- A Lattice...”
Volledige tekst

Elektronisch E-boek

20

High-Level Verification Methods and Tools for Verification of System-Level Designs /

door Kundu, Sudipta., Kundu, Sudipta., Lerner, Sorin., Gupta, Rajesh K.
Gepubliceerd in 2011

Inhoudsopgave: “...Introduction -- Related Work -- Background -- Execution-based Model Checking for High-Level Designs...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken