arithmetic and ( ( Logiikka )|( Johdonmukaisuus )|( Logic )|( Logics ) ) structures - books

Reliable implementation of real number algorithms : theory and practice : International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006, revised papers
Computational complexity, Geometry, Numbers, Real, Numerical analysis, Computer Science, Algorithm Analysis and Problem Complexity, Arithmetic and Logic Structures, Discrete Mathematics in Computer Science, Numeric Computing, Symbolic and Algebraic Manipulation, sähkökirjat
Hertling, Peter
Read
Transactions on aspect-oriented software development V
Aspect-oriented programming, Computer software, Computer Science, Arithmetic and Logic Structures, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Software Engineering, Software Engineering/Programming and Operating Systems, System Performance and Evaluation, sähkökirjat
Ossher, Harold;Rashid, Awais
Read
Designing sorting networks : a new paradigm
Data structures (Computer science), Parallel processing (Electronic computers), Sorting (Electronic computers), Arithmetic and Logic Structures, Computer science, Models and Principles, sähkökirjat
Al-Haj Baddar, Sherenaz W;Batcher, Kenneth W
Read
Transactions on high-performance embedded architectures and compilers IV
Compilers (Computer programs), Embedded computer systems, High performance computing, Arithmetic and Logic Structures, Computer Communication Networks, Computer science, Data transmission systems, Input/Output and Data Communications, Logic design, Processor Architectures, Programming Languages, Compilers, Interpreters, sähkökirjat
Stenström, Per
Read
Compressed data structures for strings : on searching and extracting strings from compressed textual data
Data compression (Computer science), Data structures (Computer science), Computer Science, Arithmetic and Logic Structures, sähkökirjat
Venturini, Rossano
Read
FM8501: A Verified Microprocessor
Artificial intelligence, Computer network architectures, Logic design, Computer science, Computer System Implementation, Computer Engineering, Mathematical Logic and Formal Languages, Arithmetic and Logic Structures
Hunt, Warren A. Jr
Read
Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Information theory, Logic design, Computer science, Artificial intelligence, Software engineering, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Arithmetic and Logic Structures
Joyce, Jeffrey J;Seger, Carl-Johan H
Read
Languages and Compilers for Parallel Computing : 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings
Architecture, Computer, Computers, Computer programming, Programming languages (Electronic computers), Arithmetic and logic units, Computer, Computer graphics, Computer System Implementation, Computation by Abstract Devices, Programming Techniques, Programming Languages, Compilers, Interpreters, Arithmetic and Logic Structures
Banerjee, Utpal;Gelernter, David;Nicolau, Alex;Padua, David
Read
Languages and Compilers for Parallel Computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
Computer science, Computer network architectures, Computer graphics, Computation by Abstract Devices, Computer System Implementation, Programming Languages, Compilers, Interpreters, Programming Techniques, Arithmetic and Logic Structures
Banerjee, Utpal;Gelernter, David;Nicolau, Alex;Padua, David
Read
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm : 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings
Computer network architectures, Software engineering, Artificial intelligence, Logic design, Computer science, Computer System Implementation, Software Engineering/Programming and Operating Systems, Arithmetic and Logic Structures, Register-Transfer-Level Implementation
Hartenstein, Reiner W;Keevallik, Andres
Read
Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing, The
Computer network architectures, Computer science, Operating systems (Computers), Computer System Implementation, Processor Architectures, Programming Languages, Compilers, Interpreters, Operating Systems, Arithmetic and Logic Structures
Robbins, Kay A;Robbins, Steven
Read
Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings
Information theory, Computer network architectures, Computer science, Theory of Computation, Computer System Implementation, Computation by Abstract Devices, Programming Techniques, Processor Architectures, Arithmetic and Logic Structures
Ferreira, Afonso;Rolim, Jose
Read
Languages and Compilers for Parallel Computing : 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings
Computer science, Computer network architectures, Programming Languages, Compilers, Interpreters, Computer System Implementation, Programming Techniques, Computation by Abstract Devices, Arithmetic and Logic Structures
Li, Zhiyuan;Yew, Pen-Chung;Chatterjee, Siddharta;Huang, Chua-Huang;Sadayappan, P;Sehr, David
Read
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings
Software engineering, Architecture, Computer, Computer programming, Programming languages (Electronic computers), Computers, Arithmetic and logic units, Computer, Software Engineering/Programming and Operating Systems, Computer System Implementation, Programming Techniques, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices, Arithmetic and Logic Structures
Bubak, Marian;Dongarra, Jack;Wasniewski, Jerzy
Read
Job Scheduling Strategies for Parallel Processing : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers
Computer network architectures, Operating systems (Computers), Computer science, Computer System Implementation, Operating Systems, Arithmetic and Logic Structures, Processor Architectures, Programming Techniques, Computation by Abstract Devices
Feitelson, Dror;Rudolph, Larry;Schwiegelshohn, Uwe
Read
Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
Software engineering, Computer science, Information theory, Programming Techniques, Theory of Computation, Arithmetic and Logic Structures
Nori, Kesav V
Read
CONPAR 86 : Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings
Computer science, Processor Architectures, Arithmetic and Logic Structures
Händler, Wolfgang;Haupt, Dieter;Jelitsch, Rolf;Juling, Wilfried;Lange, Otto
Read
Exploitation of Fine-Grain Parallelism
Computer science, Microprogramming, Logic design, Programming Languages, Compilers, Interpreters, Control Structures and Microprogramming, Arithmetic and Logic Structures, Processor Architectures, Programming Techniques
Böckle, Günter
Read
Languages and Compilers for Parallel Computing : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings
Computer network architectures, Operating systems (Computers), Computer science, Computer System Implementation, Operating Systems, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices, Programming Techniques, Arithmetic and Logic Structures
Huang, Chua-Huang;Sadayappan, Ponnuswamy;Banerjee, Utpal;Gelernter, David;Nicolau, Alex;Padua, David
Read
Practical Introduction to Computer Architecture, A
Computer hardware, Computer science, Arithmetic and Logic Structures, Processor Architectures
Page, Daniel
Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
Computer network architectures, Microprogramming, Computer science, Logic design, Electronics, Computer System Implementation, Control Structures and Microprogramming, Arithmetic and Logic Structures, Electronics and Microelectronics, Instrumentation, Computation by Abstract Devices
Leeser, Miriam;Brown, Geoffrey
Read
Languages and Compilers for Parallel Computing : 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings
Computer network architectures, Computer science, Computer graphics, Computer System Implementation, Computation by Abstract Devices, Programming Techniques, Programming Languages, Compilers, Interpreters, Arithmetic and Logic Structures
Pingali, Keshav;Banerjee, Utpal;Gelernter, David;Nicolau, Alex;Padua, David
Read
Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
Information theory, Computer hardware, Microprogramming, Computer science, Memory management (Computer scie, Data transmission systems, Theory of Computation, Control Structures and Microprogramming, Arithmetic and Logic Structures, Memory Structures, Input/Output and Data Communications
Milne, George J;Pierre, Laurence
Read
Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings
Computer network architectures, Computer science, Logic design, Computer software, Computer System Implementation, Computation by Abstract Devices, Arithmetic and Logic Structures, Processor Architectures, Algorithm Analysis and Problem Complexity
Meyer auf der Heide, Friedhelm;Monien, Burkhard;Rosenberg, Arnold L
Read
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, WÃ¼rzburg, Germany, February 25-27, 1993. Proceedings
Information theory, Computer science, Computer software, Logic design, Theory of Computation, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Arithmetic and Logic Structures
Enjalbert, Patrice;Finkel, Alain;Wagner, Klaus W
Read
Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
Computer science, Computer Communication Networks, Data structures (Computer scienc, Programming Languages, Compilers, Interpreters, Arithmetic and Logic Structures, Programming Techniques, Data Structures, Computation by Abstract Devices
Dietz, Henry Gordon
Read
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings
Architecture, Computer, Computer programming, Computers, Programming languages (Electronic computers), Computer scienceâMathematics, Arithmetic and logic units, Computer, Computer System Implementation, Programming Techniques, Theory of Computation, Programming Languages, Compilers, Interpreters, Mathematics of Computing, Arithmetic and Logic Structures
Cotronis, Yiannis;Dongarra, Jack
Read