Canlyniadau Chwilio - detection computation programming logic arrays a

1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Cael y testun llawn

Electronig eLyfr

2

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Systems -- A Logical Product Approach to Zonotope Intersection -- Fast Acceleration of Ultimately Periodic...”
Cael y testun llawn

Electronig eLyfr

3

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Cael y testun llawn

Electronig eLyfr

4

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Cael y testun llawn

Electronig eLyfr

5

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary...”
Cael y testun llawn

Electronig eLyfr

7

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Cael y testun llawn

Electronig eLyfr

8

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”
Cael y testun llawn

Electronig eLyfr

9

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Cael y testun llawn

Electronig eLyfr

10

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Cael y testun llawn

Electronig eLyfr

11

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
Cael y testun llawn

Electronig eLyfr

12

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Cael y testun llawn

Electronig eLyfr

13

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
Cael y testun llawn

Electronig eLyfr

14

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “.../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...”
Cael y testun llawn

Electronig eLyfr

15

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Cael y testun llawn

Electronig eLyfr

16

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
Cael y testun llawn

Electronig eLyfr

17

Applications of Soft Computing Recent Trends /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...”
Cael y testun llawn

Electronig eLyfr

18

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

19

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”
Cael y testun llawn

Electronig eLyfr

20

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad