Canlyniadau Chwilio - program finite programs https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
Cael y testun llawn

Electronig eLyfr

2

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

gan Simon, Axel., Simon, Axel.
Cyhoeddwyd 2008

Tabl Cynhwysion: “...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
Cael y testun llawn

Electronig eLyfr

3

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Cael y testun llawn

Electronig eLyfr

4

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”
Cael y testun llawn

Electronig eLyfr

5

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... of Programming Language Dialects -- The Tenjinno Machine Translation Competition -- Large Scale Inference...”
Cael y testun llawn

Electronig eLyfr

6

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Cael y testun llawn

Electronig eLyfr

7

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Finite Linear Orders: An Implementation -- Hypersequent and Labelled Calculi for Intermediate Logics...”
Cael y testun llawn

Electronig eLyfr

8

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Cael y testun llawn

Electronig eLyfr

9

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Cael y testun llawn

Electronig eLyfr

10

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Cael y testun llawn

Electronig eLyfr

11

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Cael y testun llawn

Electronig eLyfr

12

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Cael y testun llawn

Electronig eLyfr

13

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
Cael y testun llawn

Electronig eLyfr

14

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Cyhoeddwyd 2012

Tabl Cynhwysion: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Cael y testun llawn

Electronig eLyfr

15

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...”
Cael y testun llawn

Electronig eLyfr

16

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Cael y testun llawn

Electronig eLyfr

17

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Finite Fields -- A Larger Lower Bound on the OBDD Complexity of the Most Significant Bit...”
Cael y testun llawn

Electronig eLyfr

18

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Tolerance and Synchronization -- Highly-Concurrent Multi-word Synchronization -- Fault Tolerance in Finite...”
Cael y testun llawn

Electronig eLyfr

19

Synthesizable VHDL Design for FPGAs

gan Bezerra, Eduardo Augusto., Bezerra, Eduardo Augusto., Lettnin, Djones Vinicius.
Cyhoeddwyd 2014

Tabl Cynhwysion: “... of Finite State Machines -- Finite State Machines as Control Modules -- Processes in Details -- Arithmetic...”
Cael y testun llawn

Electronig eLyfr

20

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad