• Suche: "D.1: PROGRAMMING TECHNIQUES"

Treffer 181 - 200 von 200

181

Editorial activity - EUROPVM/MPI
Orlando S ; Laforenza D
The international journal of high performance computing applications 19 (2005): 47–47.
info:cnr-pdr/source/autori:Orlando S.; Laforenza D./titolo:Editorial activity-EUROPVM%2FMPI/doi:/rivista:The international journal of high performance computing applications/anno:2005/pagina_da:47/pagina_a:47/intervallo_pagine:47–47/volume:19

D.1.3 D.1.3 Concurrent Program... D.1 Programming Techniqu...
Fachzeitschrift
Zu den Favoriten
182

Stability and optimization of DNS-based request redirection in CDNs
Benchaïta, Walid ; Ghamri-Doudane, Samir ; Tixeuil, Sébastien ; et al.
International Conference on Distributed Computing and Networking. :11-11

Singapore, Singapore CDN DNS Lyapunov theory request routing ACM: C.: Computer System... …
Konferenz
Zu den Favoriten
183

Checking Race Freedom of Clocked X10 Programs
Yuki, Tomofumi ; Feautrier, Paul ; Rajopadhye, Sanjay ; et al.

ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification …
E-Ressource
Zu den Favoriten
184

Ontology-Directed Generation of Frameworks For Pervasive Service Development
Jouve, Wilfried ; Consel, Charles ; Lancia, Julien ; et al.
[Research Report] 2006

Service interaction Programming framework Programming support Ontology Pervasive computing Generative programming …
Report
Zu den Favoriten
185

Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus
Cirstea, Horatiu ; Bertolissi, Clara ; Kirchner, Claude ; et al.
Higher-Order and Symbolic Computation, 2006

ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.3: PROGRAMMING LANGUAG... [INFO.INFO-PL]Computer S... Programming Languages [c...
Zeitschrift
Zu den Favoriten
186

Apprendre à programmer avec OCaml
Conchon, Sylvain ; Filliâtre, Jean-Christophe ; Laboratoire de Recherche en Informatique (LRI) ; et al.
Eyrolles. :429-429

OCaml Algorithmes Struct... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.1: Applicative (Func... ACM: E.: Data E.1: DATA STRUCTURES …
Buch
Zu den Favoriten
187

Grids, P2P and Services Computing
Desprez, Frédéric ; Getov, Vladimir ; Priol, Thierry ; et al.
Frédéric Desprez and Vladimir Getov and Thierry Priol and Ramin Yahyapour. Springer. :202-202

ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.0: Distributed pro... D.1.3.1: Parallel progra... [INFO.INFO-DC]Computer S... …
Buch
Zu den Favoriten
188

Objects as Session-Typed Processes
Stephanie Balzer ; Frank Pfenning ; The Pennsylvania State University CiteSeerX Archives
http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/papers/agere15.pdf.

Categories and Subject D... Concurrent Programming—P... D.1 [Programming Techniq... Object-oriented Programm... session types linear types …
Fachzeitschrift
Zu den Favoriten
189

Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages
Drebes, Andi ; Heydemann, Karine ; Drach, Nathalie ; et al.
ACM Transactions on Architecture and Code Optimization. 11(3):30-30

dataflow programming concurrent programming dynamic scheduling fifo queue lock-free algorithm work stealing …
Zeitschrift
Zu den Favoriten
190

Opium+, a Meta-Debugger for Prolog
Ducassé, Mireille ; Logical Information Systems (LIS) ; GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7) ; et al.
European Conference on Artificail Intelligence, 1988, Munich, Germany

Munich, Germany ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug... D.1: PROGRAMMING TECHNIQ... D.1.6: Logic Programming …
Konferenz
Zu den Favoriten
191

Multi-threaded User Interfaces in Java
Ludwig, Elmar ; Prof. Dr. Oliver Vornberger ; Prof. Dr. Jürgen Schönwälder ; et al.

Java grafische Oberflächen Threads 28 - Informatik Datenverarbeitung D.1 - PROGRAMMING TECHNI... …
Dissertation
Zu den Favoriten
192

Research Track Poster Parallel Mining of Closed Sequential Patterns
Shengnan Cong ; Jiawei Han ; David Padua ; et al.
http://www.cs.uiuc.edu/class/fa05/cs591han/kdd05/docs/p562.pdf.

Categories and Subject D... H.2.8 [Database Manageme... Database applications–da... D.1 [Programming Techniq... Concurrent programming–p... Algorithms …
Fachzeitschrift
Zu den Favoriten
193

Scotland
Feng Wang ; Kenneth J. Turner ; The Pennsylvania State University CiteSeerX Archives
http://www.match-project.org.uk/resources/documents/petra08-wang.pdf.

Categories and Subject D... C.2.4 [Computer Systems... Computer-Communication N... Design Keywords home car...
Fachzeitschrift
Zu den Favoriten
194

Clean-CORBA Interface Supporting Skeletons ∗
The Pennsylvania State University CiteSeerX Archives
http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_abstr_zsv.pdf.

Categories and Subject D... D.1 Programming Techniqu... D.1.1 Applicativ
Fachzeitschrift
Zu den Favoriten
195

Marionette: using rpc for interactive development and debugging of wireless embedded networks
Kamin Whitehouse ; Gilman Tolle ; Jay Taneja ; et al.
http://people.bu.edu/teich/pdfs/OE-12-1353-2004.pdf.

D.1 Programming Techniqu... C.3 Embedded Systems Gen... Languages Human Factors Keywords D... Embedded Networks Programming …
Fachzeitschrift
Zu den Favoriten
196

Abbreviated Output for Input in ACL2: An Implementation Case Study
Matt Kaufmann ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utexas.edu/users/sandip/acl2-09/final/10/10.pdf.

Categories and Subject D... Applicative (Functional)... D.2.2 [Design Tools and... User interfaces D.2.3 [Coding Tools and... Pretty printers …
Fachzeitschrift
Zu den Favoriten
197

Formal Verification of LabVIEW Programs Using the ACL2 Theorem Prover
Matt Kaufmann ; Jacob Kornerup ; Mark Reitblatt ; et al.
http://www.cs.utexas.edu/users/sandip/acl2-09/final/16/16.pdf.

Categories and Subject D... Visual Programming D.2.4 [Software/Program... Correctness proofs Formal methods General T... Languages Keywords ACL2 …
Fachzeitschrift
Zu den Favoriten
198

Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Montpellier, France, July 2, 2013
Zendra, Olivier ; Jul, Eric ; Centre Inria de l'Université de Lorraine ; et al.

Montpellier, France compilation implementation runtime optimization programming languages …
Zu den Favoriten
199

Dieses Ergebnis kann Gästen nicht angezeigt werden.

200

Best Practices in Running Collaborative GPU Hackathons: Advancing Scientific Applications with a Sustained Impact
(0000-0002-3560-9428) Chandrasekaran, S. ; (0000-0002-9935-4428) Juckeland, G. ; (0000-0003-3010-0857) Lin, M. ; et al.
Computing in Science & Engineering 20(2018)4, 95-106

E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter