• Search: "Programming theory"

Showing 241 - 260 of 3,896

241

An approximation based approach to infinitary lambda calculi
BLOM, Stefan
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :221-232

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

An algebra of scans
HINZE, Ralf
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :186-210

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
243

A visual environment for developing context-sensitive term rewriting systems
MATTHEWS, Jacob ; FINDLER, Robert Bruce ; FLATT, Matthew ; et al.
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :301-311

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

A verification technique using term rewriting systems and abstract interpretation
TAKAI, Toshinori
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :119-133

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

A type-based termination criterion for dependently-typed higher-order rewrite systems
BLANQUI, Frédéric
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :24-39

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

A tutorial introduction to designs in Unifying Theories of Programming
WOODCOCK, Jim ; CAVALCANTI, Ana
IFM 2004 : integrated formal methods (Canterbury, 4-7 April 2004)Lecture notes in computer science. :40-66

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

A relational model for object-oriented designs
HE JIFENG ; ZHIMING LIU ; XIAOSHAN LI ; et al.
Programming languages and systems (Taipei, 4-6 November 2004)Lecture notes in computer science. :415-436

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

A free construction of Kleene algebras with tests
FURUSAWA, Hitoshi
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :129-141

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
249

A dioid linear algebra approach to study a class of Continuous petri nets
DUAN ZHANG ; HUAPING DAI ; YOUXIAN SUN
NPC 2004 : network and parallel computing (Wuhan, 18-20 October 2004)Lecture notes in computer science. :333-340

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

A dependent type theory with names and binding
SCHÖPP, Ulrich ; STARK, Ian
CSL 2004 : computer science logic (Karpacz, 20-24 September 2004)Lecture notes in computer science. :235-249

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

A customizable approach to visual programming using dynamic multimodeling
SHIM, Hyunju ; FISHWICK, Paul
Enabling technologies for simulation science VIII (Orlando FL, 13-15 April 2004)SPIE proceedings series. :447-456

Electronics Electronique Computer science Informatique Optics Optique …
Conference
Save to List
252

A certified AC matching algorithm
CONTEJEAN, Evelyne
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :70-84

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

Resource management in IaaS cloud platforms made flexible through programmability
WICKBOLDT, Juliano Araujo ; ESTEVES, Rafael Pereira ; DE CARVALHO, Márcio Barbosa ; et al.
Communications and Networking i the CloudComputer networks (1999). 68:54-70

Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Academic journal
Save to List
254

High-level dataflow design of signal processing systems for reconfigurable and multicore heterogeneous platforms
BEZATI, Endri ; THAVOT, Richard ; ROQUIER, Ghislain ; et al.
Design and Architectures of Real-Time Image Processing in Embedded SystemsJournal of real-time image processing (Print). 9(1):251-262

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Academic journal
Save to List
255

An ontology-based domain model to enhance the software development process
ALIAS, Mary ; DOREEN HEPHZIBAH MIRIAM, D ; ROBIN, C. R. Rene
ONTOLOGY PARADIGMS IN SOFTWARE PROGRAMMING LANGUAGESInternational journal of metadata, semantics and ontologies (Print). 9(3):204-214

Documentation Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees …
Academic journal
Save to List
256

A uniform approach for programming distributed heterogeneous computing systems
GRASSO, Ivan ; PELLEGRINI, Simone ; COSENZA, Biagio ; et al.
Domain-Specific Languages and High-Level Frameworks for High-Performance ComputingJournal of parallel and distributed computing (Print). 74(12):3228-3239

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Academic journal
Save to List
257

Stochastic stability of Markovian jump BAM neural networks with leakage delays and impulse control
QUANXIN ZHU ; RAKKIYAPPAN, R ; CHANDRASEKAR, A
Neurocomputing (Amsterdam). 136:136-151

Cognition Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees …
Academic journal
Save to List
258

Revisiting the supplier selection problem: An integrated approach for group decision support
ARPAN KUMAR KAR
Expert systems with applications. 41(6):2762-2771

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Academic journal
Save to List
259

Reliable yet flexible software through formal model transformation (rule definition)
RASOOLZADEGAN, Abbas ; AHMAD ABDOLLAHZADEH BARFOROUSH
Knowledge and information systems (Print). 40(1):79-126

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Academic journal
Save to List
260

Optimized design of automatic image mosaic
ZHAOXIA FU ; LIMING WANG
Multimedia tools and applications. 72(1):503-514

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter