• Suche: "Programming theory"

Treffer 181 - 200 von 3.896

181

Adaptive execution techniques for SMT multiprocessor architectures
JUNG, Changhee ; LIM, Daeseob ; LEE, Jaejin ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :236-246

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
182

Abstractions for directing self-organising patterns
COORE, Daniel
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :110-120

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
183

Abstract scalars, loops, and free traced and strongly compact closed categories
ABRAMSKY, Samson
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :1-29

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
184

A study on web services selection method based on the negotiation through quality broker : A MAUT-based approach
SEO, Young-Jun ; JEONG, Hwa-Young ; SONG, Young-Jae
Embedded software and systems (1st international conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, revised selected lectures)Lecture notes in computer science. :65-73

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
185

A semantics for UML-RT active classes via mapping into circus
RAMOS, Rodrigo ; SAMPAIO, Augusto ; MOTA, Alexandre
FMOODS 2005 : formal methods for open object-based distributed systems (Athens, 15-17 June 2005)Lecture notes in computer science. :99-114

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
186

A semantic framework for the abstract model checking of tccp programs
ALPUENTE, Maria ; GALLARDO, Maria Del ; PIMENTEL, Ernesto ; et al.
Quantitative aspects of programming languages (QAPL 2004)Theoretical computer science. 346(1):58-95

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
187

A rigorous global filtering algorithm for quadratic constraints
LEBBAH, Yahia ; MICHEL, Claude ; RUEHER, Michel
Principles and practices of constraint programmingConstraints (Dordrecht). 10(1):47-65

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
188

A proof outline logic for object-oriented programming
PIERIK, Cees ; DE BOER, Frank S
Formal Methods for Components and ObjectsTheoretical computer science. 343(3):413-442

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
189

A novel approach for partitioning iteration spaces with variable densities
KEJARIWAL, Arun ; NICOLAU, Alexandra ; BANERJEE, Utpal ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :120-131

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
190

A new programming paradigm inspired by artificial chemistries
BANZHAF, W ; LASARCZYK, C
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :73-83

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
191

A hierarchy result for read-once branching programs with restricted parity nondeterminism
SAVICKY, Petr ; SICLING, Detlef
Mathematical Foundations of Computer Science 2000Theoretical computer science. 340(3):594-605

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
192

A framework for optimal correction of inconsistent linear constraints
AMARAL, Paula ; BARAHONA, Pedro
Principles and practices of constraint programmingConstraints (Dordrecht). 10(1):67-86

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
193

A comparison of program generation with aspect-oriented programming
MEZINI, Mira ; OSTERMANN, Klaus
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :342-354

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
194

A categorical approach to simulations
PALOMINO, Miguel ; MESEGUER, José ; MARTI-OLIET, Narciso
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :313-330

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
195

Transposing relations: From maybe functions to hash tables
FONSECA DE OLIVEIRA, Josh Nuno ; DE JESUS PEREIRA CUNHA RODRIGUES, César
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :334-356

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
196

The joinability and unification problems for confluent semi-constructor TRSs
MITSUHASHI, Ichiro ; OYAMAGUCHI, Michio ; OHTA, Yoshikatsu ; et al.
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :285-300

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
197

Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms
TOYAMA, Yoshihito
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :40-54

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
198

Termination analysis of the untyped λ-calculus
JONES, Neil D ; BOHR, Nina
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :1-23

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
199

TORPA: Termination of Rewriting Proved automatically
ZANTEMA, Hans
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :95-104

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
200

Streaming representation-changers
GIBBONS, Jeremy
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :142-168

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter