• Suche: "Programming theory"

Treffer 121 - 140 von 3.896

121

Relational growth grammars : A graph rewriting approach to dynamical systems with a dynamical structure
KURTH, Winfried ; KNIEMEVER, Ole ; BUCK-SORLIN, Gerhard
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :56-72

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

Proving pointer programs in higher-order logic
MEHTA, Farhad ; NIPKOW, Tobias
19th International Conference on Automated Deduction (CADE-19)Information and computation (Print). 199(1-2):200-227

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

Property preserving redesign of specifications
ZAWLOCKI, Artur ; MARCZYNSKI, Grzegorz ; KOSIUCZENKO, Piotr
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :439-455

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

Programming reaction-diffusion processors
ADAMATZKY, Andrew
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :33-46

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

Programming an amorphous computational medium
BEAL, Jacob
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :121-136

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

PolyAML : A polymorphic aspect-oriented functional programming language
DANTAS, Daniel S ; WALKER, David ; WASHBURN, Geoffrey ; et al.
Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26-28, 2005 - Tallinn, EstoniaACM SIGPLAN notices. 40(9):306-319

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

Parametrized exceptions
WALTER, Dennis ; SCHRÖDER, Lutz ; MOSSAKOWSKI, Till
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :424-438

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

P systems : Some recent results and research problems
IBARRA, Oscar H
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :225-237

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

Overview of generative software development
CZARNECKI, Krzysztof
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :326-341

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

Outlining an unconventional, adaptive, and particle-based reconfigurable computer architecture
TEUSCHER, Christof
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :238-253

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

Optimal load balancing in insensitive data networks
LEINO, Juha ; VIRTAMO, Jorma
QoS-IP 2005 : quality of service in multiservice IP networks (Catania, 2-4 February 2005)Lecture notes in computer science. :313-324

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
132

Operational semantics for model checking circus
WOODCOCK, Jim ; CAVALCANTI, Ana ; FREITAS, Leonardo
FM 2005 : formal methods (Newcastle, 18-22 July 2005)Lecture notes in computer science. :237-252

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

On the semantics of coinductive types in Martin-Löf type theory
DE MARCHI, Federico
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :114-126

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

On the relation between answer set and SAT procedures (or, between CMODELS and SMODELS)
GIUNCHIGLIA, Enrico ; MARATEA, Marco
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :37-51

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

Modelling fusion calculus using HD-automata
FERRARI, Gianluigi ; MONTANARI, Ugo ; TUOSTO, Emilio ; et al.
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :142-156

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

Modelling dynamically organised colonies of bio-entities
GHEORGHE, Marian ; STAMATOPOULOU, Ioanna ; HOLCOMBE, Mike ; et al.
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :207-224

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

Membrane systems : A quick introduction
PAUN, Gheorghe
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :188-195

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

Look : Simple stochastic relations are just, well, simple
DOBERKAT, Ernst-Erich
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :127-141

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

Locally Boolean domains
LAIRD, J
Applied Semantics: Selected TopicsTheoretical computer science. 342(1):132-148

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

Lifting sequential graph algorithms for distributed-memory parallel computation
GREGOR, Douglas ; LUMSDAINE, Andrew
Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05)ACM SIGPLAN notices. 40(10):423-437

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

Filter