Matthew Flatt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming paradigms

Emerging programming paradigms for large-scale scientific computingLeonid Oliker, Rajesh Nishtala, Rupak Biswas. pc, 37(9):499-500, 2011. [doi]

Performance Enhancement of Smith-Waterman Algorithm Using Hybrid Model: Comparing the MPI and Hybrid Programming Paradigm on SMP ClustersMahdi Noorian, Hamidreza Pooshfam, Zeinab Noorian, Rosni Abdullah. SMC 2009: 492-497 [doi]

Bio-Intelligence: A Research Program Facilitating the Development of New Paradigms for Tomorrow s Patient CareSieu Phan, Fazel Famili, Ziying Liu, Lourdes PeÃ±a Castillo. revolutions 2009: 250-253 [doi]

A new paradigm for programming competitionsJames F. Bowring. sigcse 2008: 87-91 [doi]

Essential programming paradigmClaude Y. Knaus. OOPSLA 2008: 823-826 [doi]

The Inevitable Cycle: Graphical Tools and Programming ParadigmsJiri Soukup, Martin Soukup. Computer, 40(8):24-30, 2007. [doi]

Distributed control diffusion: towards a flexible programming paradigm for modular robotsUlrik Pagh Schultz. robocomm 2008: 15 [doi]

Programming paradigms for reconfigurable computingGareth Lee, George Milne. mam, 29(10):435-450, 2005. [doi]

The Bio-Chemical Information Processing Metaphor as a Programming Paradigm for Organic ComputingPeter Dittrich. arcs 2005: 95-99

Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited PapersJean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel, editors, Volume 3566 of Lecture Notes in Computer Science, Springer, 2005.

Designing and Implementing a Paradigm of Interactive and Communicative Cultural Playspaces in an On-Line Language Learning ProgramDimitris Tolias, George Exadaktylos, Diana Slattery. uiall 2004: 275-288 [doi]

The Separation Principle: A Programming ParadigmYasushi Kambayashi, Henry F. Ledgard. IEEE Software, 21(2):78-87, 2004. [doi]

The role of language paradigms in teaching programmingPeter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson. sigcse 2003: 269-270 [doi]

Aggregated hierarchical multicast-a many-to-many communication paradigm using programmable networksTilman Wolf, Sumi Choi. tsmc, 33(3):358-369, 2003.

Cross-paradigm Programming for Behavioural Specification in Multi-agent Systems Intentionality: from decision to actionPierre-Alexandre Favier. iicai 2003: 302-314

A New Interface to Spreadsheet Programming: A Truly Seamless Fusion of Spreadsheet and Word Processing ParadigmsJorma Sajaniemi. hccl 2002: 40-42 [doi]

A New Interface to Spreadsheet Programming: A Truly Seamless Fusion of Spreadsheet and Word Processing ParadigmsJorma Sajaniemi. vl 2002: 40-42 [doi]

Is Strategic Programming a Viable Paradigm?Paul Klint. TCS, 57:196-200, 2001. [doi]

Proving Correctness of Programs with IO - A Paradigm ComparisonAndrew Butterfield, Glenn Strong. IFL 2002: 72-87 [doi]

Query by Outlines: A New Paradigm to Help Manage ProgramsFrancoise Balmas. PASTE 1999: 86-94 [doi]

Automatic Synthesis of Recursive Programs: The Proof-Planning ParadigmAlessandro Armando, Alan Smaill, Ian Green. ASE, 6(4):329-356, 1999.

A Rationale for the Development of a B.Sc. Degree Program in Applied Computer Graphics Based on the 3-Dimensional ParadigmWilliam A. Ross, Mark W. McK. Bannatyne. IV 1998: 225 [doi]

Multi-Paradigm Declarative Programming (Abstract)Michael Hanus. SLP 1997: 43-45

Concrete Programming Paradigm for Kinetic TypographyChloe M. Chao, John Maeda. vl 1997: 450-451

Concurrent/Distributed Programming ParadigmAndrew P. Bernat. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2094-2119, CRC Press, 1997.

Practice + paradigms: experience with a first-year programming workshopPhilip M. Dorin. SIGCSE, 29(4):42-44, 1997. [doi]

Automatic Synthesis of Recursive Programs: The Proof-Planning ParadigmAlessandro Armando, Alan Smaill, Ian Green. jckbse 1997: 2-9 [doi]

An evaluation of the Cray T3D programming paradigms in atmospheric chemistry/transport modelsJ. G. Blom, Christoph Kessler, J. G. Verwer. eurosim 1996: 407-419

Unified Relational Framework for Programming Paradigm CombinationNaji Habra, Baudouin Le Charlier. frocos 1996: 357-375

Hypersequential programming - a novel paradigm for concurrent programmingNaoshi Uchihira, Shinichi Honiden, Toshibumi Seki. pds 1996: 62-73

Linguistic Paradigms for Programming Complex Distributed SystemsGul Agha. ACM Comput. Surv., 28(2):295-296, 1996.

Form/Formula: A Visual Programming Paradigm for User-Definable User InterfacesTakayuki Dan Kimura, Ajay Apte, Samudra Sengupta, Julie W. Chan. Computer, 28(3):27-35, 1995.

Eurographics Workshop on Programming Paradigms in Graphics1995.

The No-Paradigm Programming Paradigm for Information VisualizationEdwin H. Blake, Hendrik A. Goosen. oographics 1995: 121-136

Programming by Example in Computing-as-Editing ParadigmMasami Hagiya, Tomoki Shiratori. vl 1995: 275-283 [doi]

Mixed Programming Paradigms in Computer GraphicsParris K. Egbert, Travis L. Hilton. oographics 1996: 113-123

Distributed Programming Paradigms with Cryptography ApplicationsJ. S. Greenfield. Volume 870 of Lecture Notes in Computer Science, Springer, 1994.

A Programming Paradigm for Distributed-Memory ComputersSilvia A. Crivelli, Elizabeth R. Jessup. ppsc 1993: 883-886

Modern Programming Paradigms as the Step Towards a New TechnologyRoger P. Knott, Jirí Polák. ifip3-4 1993: 63-70

Norvig s Paradigms of Artificial Intelligence Programming: A Student s PerspectiveJooFung Wong. ai, 64(1):161-167, 1993.

Norvig s Paradigms of Artificial Intelligence Programming: An Instructor s PerspectiveJames H. Martin. ai, 64(1):169-180, 1993.

Operational Versus Definitional: A Perspective on Programming ParadigmsAllen L. Ambler, Margaret M. Burnett, Betsy A. Zimmerman. Computer, 25(9):28-43, 1992.

The Literate-Programming ParadigmDavid Cordes, Marcus Brown. Computer, 24(6):52-61, 1991.

Paradigms for Process Interaction in Distributed ProgramsGregory R. Andrews. ACM Comput. Surv., 23(1):49-90, 1991.

Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)Baruch Awerbuch, George Varghese. focs 1991: 258-267

Neural Network Learning: A New Programming Paradigm?Jorge Muniz Barreto. sigbdp 1990: 434-446 [doi]

Holistic algorithms: a paradigm for multiprocessor programmingSverre Storøy. pc, 10(2):221-229, 1989.

Paradigms for Distributed ProgramsFred B. Schneider, Leslie Lamport. ac 1985: 431-480

The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program SynthesisElaine Kant, David R. Barstow. TSE, 7(5):458-471, 1981.

The Paradigms of ProgrammingRobert W. Floyd. CACM, 22(8):455-460, 1979.

runs on WebDSL