PDF Document

Source URL: www.itu.int

Cache-Oblivious Simulation of Parallel Programs Andrea Pietracaprina, Geppino Pucci, and Francesco Silvestri Department of Information Engineering, University of Padova, Italy {capri,geppo,silvest1}@dei.unipd.it Abstrac

Source URL: www.itu.dk

• Analysis of algorithms
• Cache
• Computer memory
• Computational complexity theory
• Cache-oblivious algorithm
• CPU cache
• Fast Fourier transform
• Time complexity
• Parallel computing
• Theoretical computer science
• Applied mathematics
• Mathematics

Logical- and Meta-Logical Frameworks Lecture 5 Carsten Sch¨ urmann August 11, 2006

Source URL: www.itu.dk

Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree

Source URL: www.itu.dk

• Science
• Bigraph
• Calculus
• Formal language
• Logic
• Process calculus
• Theoretical computer science
• Mathematics
• Applied mathematics

EXPRESS 2004 Preliminary Version A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources Mikkel Bundgaard Thomas Hildebrandt Jens Chr. Godskesen Department of Theoretical Computer Science

Source URL: www.itu.dk

Cache-Oblivious Simulation of Parallel Programs Andrea Pietracaprina Geppino Pucci Francesco Silvestri

Source URL: www.itu.dk

• Models of computation
• Analysis of algorithms
• Cache-oblivious algorithm
• CPU cache
• Locality of reference
• Parallel computing
• Cache
• Computer memory
• Computing

Curriculum Vitae Kasper Støy Contact Information IT University of Copenhagen Rued Langgaards Vej 7

Source URL: www.itu.dk

• International Conference On Intelligent Robots and Systems
• Robot
• Autonomous robot
• Rhex
• Claytronics
• Robotics
• Autonomy
• Self-reconfiguring modular robot

GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science

Source URL: www.itu.dk

• Computer science
• Logic
• Predicate logic
• Process calculi
• Π-calculus
• Lambda calculus
• Explicit substitution
• Free variables and bound variables
• Symbol
• Theoretical computer science
• Mathematics
• Applied mathematics

“Korupsi  di  Indonesia  masih  tinggi.  Pemerintah  Perlu  Mempercepat  Sistem  Integritas  Nasional” Corruption Perception Index 2014 Apa itu Corruption Perception Index?

Source URL: ti.or.id

Gatavošanās Pasaules Radiosakaru konferencei WRCgada 2. – 27. novembris, Ženēva) International Telecommunication Union (ITU) Starptautiskā Telesakaru savienība

Source URL: www.vases.lv