Tim Sheard - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming

Augmented Lagrangians in semi-infinite programmingJan-J. Rückmann, Alexander Shapiro. mp, 116(1-2):499-512, 2009. [doi]

Low-latency time-portable real-time programming with ExotasksJoshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer. tecs, 8(2), 2009. [doi]

Inexact de Novo programming for water resources systems planningY. M. Zhang, G. H. Huang, X. D. Zhang. eor, 199(2):531-541, 2009. [doi]

Meta-programming With Built-in Type EqualityTim Sheard, Emir Pasalic. ENTCS, 199:49-65, 2008. [doi]

High-level Programming Support for Robust Pervasive Computing ApplicationsWilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall. percom 2008: 252-255 [doi]

Programming in OmegaTim Sheard, Nathan Linger. cefp 2008: 158-227 [doi]

Project prioritization under policy restrictions. A combination of MCDA with 0-1 programmingGeorge Mavrotas, Danae Diakoulaki, Y. Caloghirou. eor, 171(1):296-308, 2006. [doi]

Eventrons: a safe programming construct for high-frequency hard real-time applicationsDaniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove. PLDI 2006: 283-294 [doi]

Semidefinite programming bounds on the probability of error of binary communication systems with inexactly known intersymbol interferenceBing Hwa Cheng, Lieven Vandenberghe, Kung Yao. TIT, 51(8):2951-2954, 2005. [doi]

Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003Marina De Vos, Alessandro Provetti, editors, Volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, 2003.

Template meta-programming for HaskellTim Sheard, Simon L. Peyton Jones. SIGPLAN, 37(12):60-75, 2002. [doi]

Programming Autonomous Robots in CurryMichael Hanus, Klaus Höppner. ENTCS, 76:178-196, 2002. [doi]

Quantitative Stability in Stochastic Programming: The Method of Probability MetricsSvetlozar T. Rachev, Werner Römisch. mor, 27(4):792-818, 2002. [doi]

Accomplishments and Research Challenges in Meta-programmingTim Sheard. saig 2001: 2-44 [doi]

Towards High-Level Programming Support for Scientific Computing on ClustersHans P. Zima. cluster 2001: 193 [doi]

Towards an Interactive Programming TutorPaula Roberts, Alan Mullally. webnet 2001: 1049-1050

Programming a Distributed Agent Society with COUGAARD. Moore. TOOLS 2001: 358 [doi]

MetaML and multi-stage programming with explicit annotationsWalid Taha, Tim Sheard. TCS, 248(1-2):211-242, 2000. [doi]

Coordinate free programming of computational fluid dynamics problemsPhilip W. Grant, Magne Haveraaen, Michael F. Webster. sp, 8(4):211-230, 2000.

Using MetaML: A Staged Programming LanguageTim Sheard. afp 1998: 207-239

Multi-Stage Programming: Axiomatization and Type SafetyWalid Taha, Zine-El-Abidine Benaissa, Tim Sheard. icalp 1998: 918-929 [doi]

Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET 98) 8-12 June 1998, Shelter Island, New York, USADavid Gries, Willem P. de Roever, editors, Volume 125 of IFIP Conference Proceedings, Chapman and Hall, 1998.

Cooperative research in underwater robot mission-level programming methodologiesÈve Coste-Manière, Howard H. Wang, Stephen M. Rock, Vincent Rigaud, Alexis Peuch, Michel Perrier. ijsysc, 29(10):1099-1110, 1998. [doi]

Multi-Stage Programming with Explicit AnnotationsWalid Taha, Tim Sheard. PEPM 1997: 203-217 [doi]

Multi-Stage ProgrammingWalid Taha, Tim Sheard. ICFP 1997: 321

A Unified Computation Model for Declarative ProgrammingMichael Hanus. agp 1997: 9-24

Pipelined programming in PVMGabriella Dodero, R. Valia. jsa, 43(1-5):135-141, 1997.

Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial TextJohn Launchbury, Erik Meijer, Tim Sheard, editors, Volume 1129 of Lecture Notes in Computer Science, Springer, 1996.

Reliable Interactive Programming with ModulesSho-Huan Simon Tung, R. Kent Dybvig. lisp, 9(4):343-358, 1996.

1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995María Alpuente, Maria I. Sessa, editors, 1995.

Categories, Relations and Dynamic ProgrammingOege de Moor. mscs, 4(1):33-69, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

Programming with ASN.1 Using Polymorphic Types and Type SpecializationR. Greg Lavender, Dennis G. Kafura, R. W. Mullins. ulpaa 1994: 151-166

A tutorial introduction to grammatical programmingChristopher N. Carlson. ifip5-2 1994: 73-84

From Dynamic Programming to Greedy AlgorithmsRichard S. Bird, Oege de Moor. ifip2-1 1993: 43-61

ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, ProceedingsBernd Krieg-Brückner, editor, Volume 582 of Lecture Notes in Computer Science, Springer, 1992.

Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991John Darlington, Roland Dietrich, editors, Workshops in Computing, Springer, 1992.

Trends in robot kinematics, dynamics, control, sensing, programming, and simulationMohammed Jamshidi, Clément M. Gosselin. ras, 9(4):199-200, 1992. [doi]

Improved Neural Networks For Linear and Nonlinear ProgrammingJiahan Chen, Michael A. Shanblatt, Chia-Yiu Maa. IJNS, 2(4):331-339, 1991. [doi]

Exceeding the Limits of Polymorphism in Database Programming LanguagesDavid W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro. edbt 1990: 269-285 [doi]

A Recursive Base for Database Programming PrimitivesDavid W. Stemple, Tim Sheard. ewdw 1990: 311-332

ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, ProceedingsNeil D. Jones, editor, Volume 432 of Lecture Notes in Computer Science, Springer, 1990.

Parameterized Programming in OBJ2Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada. ICSE 1987: 51-60

Managing programming productivityD. Ross Jeffery, M. J. Lawrence. jss, 5(1):49-58, 1985. [doi]

Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, ProceedingsJosep Díaz, Isidro Ramos, editors, Volume 107 of Lecture Notes in Computer Science, Springer, 1981.

International Symposium on Programming, Proceedings of the Fourth Colloque International sur la Programmation , Paris, France, 22-24 April 1980Bernard Robinet, editor, Volume 83 of Lecture Notes in Computer Science, Springer, 1980.

An Inter-Organizational Comparison of Programming ProductivityD. Ross Jeffery, M. J. Lawrence. ICSE 1979: 369-377

Bicriterion linear programmingPakorn Adulbhan, Mario T. Tabucanon. cor, 4(2):147-153, 1977. [doi]

An interactive display for approximation by linear programmingPaul S. LaFata, J. Ben Rosen. CACM, 13(11):651-659, 1970. [doi]

runs on WebDSL