Torthaí Cuardaigh - applications computational programming logic array a

1

A Science of Operations Machines, Logic and the Invention of Programming /

le Priestley, Mark., Priestley, Mark.
Foilsithe 2011

Clár Ábhair: “... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

le Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Foilsithe 2005

Clár Ábhair: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2006

Clár Ábhair: “... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Foilsithe 2007

Clár Ábhair: “... Logic for Prompt Lazy Assertions in Haskell -- Ivor, a Proof Engine -- Proving Program Properties...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

The Calculus of Computation Decision Procedures with Applications to Verification /

le Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Foilsithe 2007

Clár Ábhair: “...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... over Positive Temporal Templates -- A Logic of Singly Indexed Arrays -- Session 10. Modal and Temporal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

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

Foilsithe 2006

Clár Ábhair: “... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

Foilsithe 2006

Clár Ábhair: “... Temporal Logic -- A STIT-Extension of ATL -- On the Logic and Computation of Partial Equilibrium Models...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

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

Foilsithe 2010

Clár Ábhair: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “...Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Applications of Soft Computing Recent Trends /

Foilsithe 2006

Clár Ábhair: “... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2014

Clár Ábhair: “... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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

Foilsithe 2006

Clár Ábhair: “... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

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

Foilsithe 2007

Clár Ábhair: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Foilsithe 2014

Clár Ábhair: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2005

Clár Ábhair: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Foilsithe 2007

Clár Ábhair: “...: Programming Models -- Can Transactions Enhance Parallel Programs? -- Design and Use of htalib – A Library...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng