• Search: "Programming theory"

Showing 141 - 160 of 3,896

141

Labels from reductions : Towards a general theory
KLIN, Bartek ; SASSONE, Vladimiro ; SOBOCINSKI, Pawel
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :30-50

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
142

Inverse design of cellular automata by genetic algorithms : An unconventional programming paradigm
BÄCK, Thomas ; BREUKELAAR, Ron ; WILLMES, Lars
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :161-172

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
143

Introduction to amorphous computing
COORE, Daniel
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :99-109

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
144

Higher-order chemical programming style
BANATRE, J.-P ; FRADET, P ; RADENAC, Y
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :84-95

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
145

Greedy random adaptive memory programming search for the capacitated clustering problem : Logistics: From theory to application
AHMADI, Samad ; OSMAN, Ibrahim H
European journal of operational research. 162(1):30-44

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
146

Greedy approximation via duality for packing, combinatorial auctions and routing
KRYSTA, Piotr
MFCS 2005 : mathematical foundations of computer science (Gdansk, 29 August - 2 September 2005)Lecture notes in computer science. :615-627

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
147

Grassroots approach to self-management in large-scale distributed systems
BABAOGLU, Ozalp ; JELASITY, Mark ; MONTRESOR, Alberto
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :286-296

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
148

Generative programming from a post object-oriented programming viewpoint
CHIBA, Shigeru
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :355-366

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
149

From quantum physics to programming languages : A process algebraic approach
JORRAND, Philippe ; LALIRE, Marie
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :1-16

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
150

From prescriptive programming of solid-state devices to orchestrated self-organisation of informed matter
ZAUNER, Klaus-Peter
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :47-55

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
151

From T-coalgebras to filter structures and transition systems
GUMM, H. Peter
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :194-212

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
152

Final semantics for event-pattern reactive programs
SANCHEZ, César ; SIPMA, Henny B ; SLANINA, Matteo ; et al.
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :364-378

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
153

Final sequences and final coalgebras for measurable spaces
VIGLIZZO, Ignacio D
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :395-407

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
154

Extracting a data flow analyser in constructive logic
CACHERA, David ; JENSEN, Thomas ; PICHARDIE, David ; et al.
Applied Semantics: Selected TopicsTheoretical computer science. 342(1):56-78

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
155

Explicit fusions
WISCHIK, Lucian ; GARDNER, Philippa
Mathematical Foundations of Computer Science 2000Theoretical computer science. 340(3):606-630

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
156

Equational logic of recursive program schemes
MERSCH, John G
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :278-292

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
157

Enabling autonomic grid applications : Dynamic composition, coordination and interaction
ZHEN LI ; PARASHAR, Manish
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :270-285

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
158

Discrete lawvere theories
POWER, John
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :348-363

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
159

Design, simulation, and experimental demonstration of self-assembled DNA nanostructures and motors
REIF, John H ; LABEAN, Thomas H ; SAHU, Sudheer ; et al.
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :173-187

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
160

Decidability of infinite-state timed CCP processes and first-order LTL
VALENCIA, Frank D
Expressiveness in ConcurrencyTheoretical computer science. 330(3):577-607

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter