John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged feature-oriented programming

Supporting program variant generation and feature files in rbFeaturesSebastian Günther, Marco Fischer. SPLC 2011: 8 [doi]

Feature tracking and matching in video using programmable graphics hardwareSudipta N. Sinha, Jan-Michael Frahm, Marc Pollefeys, Yakup Genc. mva, 22(1):207-217, 2011. [doi]

Feature - Empowering kids to create and share programmable mediaAndrÃ©s Monroy-HernÃ¡ndez, Mitchel Resnick. interactions, 15(2):50-53, 2008. [doi]

Liquid Metal: Object-Oriented Programming Across the Hardware/Software BoundaryShan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah. ECOOP 2008: 76-103 [doi]

Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program DependenciesDan C. Cosma, Radu Marinescu. CSMR 2008: 103-112 [doi]

Supporting children as they program to make physical and virtual objects interactAmon Millner. acmidc 2008: 25-28 [doi]

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented ProgramsXianghua Deng, Robby, John Hatcliff. SEFM 2007: 273-282 [doi]

ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, ProceedingsErik Ernst, editor, Volume 4609 of Lecture Notes in Computer Science, Springer, 2007.

State-oriented programming for TinyOSSiarhei Smolau, Ronald Beaubrun. SCSC 2007: 766-771 [doi]

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented ProgramsMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine. TACAS 2006: 73-89 [doi]

ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, ProceedingsDave Thomas, editor, Volume 4067 of Lecture Notes in Computer Science, Springer, 2006.

Infering Ownership Types for Encapsulated Object-Oriented Program ComponentsArnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer. birthday 2007: 120-144 [doi]

Concurrency oriented programming in termite schemeGuillaume Germain. erlang 2006: 20 [doi]

ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, ProceedingsAndrew P. Black, editor, Volume 3586 of Lecture Notes in Computer Science, Springer, 2005.

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsMatthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath. fmsd, 25(2-3):199-240, 2004. [doi]

A New Feature for TV Programs: Viewer Participation Through VideoconferencingJukka Rauhala, Petri Vuorimaa. pcm 2004: 298-305 [doi]

Efficient data race and deadlock prevention in concurrent object-oriented programsPiotr Nienaltowski. OOPSLA 2004: 56-57 [doi]

Message Oriented Programming - The Case for First Class MessagesDave A. Thomas. jot, 3(5):7-12, 2004. [doi]

State Oriented ProgrammingHideki Nomoto. hase 2004: 304-305 [doi]

The Feature Signatures of Evolving ProgramsDaniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi. ASE 2003: 281-285 [doi]

Feature Selection for Multiclass Discrimination via Mixed-Integer Linear ProgrammingFrank J. Iannarilli Jr., Paul A. Rubin. pami, 25(6):779-783, 2003. [doi]

An Object-Oriented Program Automatic Execute Model and the Research of AlgorithmDa-Hai Jin, Yun-Zhan Gong. ats 2003: 492-495 [doi]

ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, ProceedingsBoris Magnusson, editor, Volume 2374 of Lecture Notes in Computer Science, Springer, 2002.

A CORBA service middleware enabling high-level high-precision real-time distributed object programmingK. H. (Kane) Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri. csse, 17(2):77-84, 2002.

Has Object-Oriented Programming Delivered? / Aviation Software GuidelinesIEEE Software, 19(5):104-107, 2002. [doi]

Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, ProceedingsOlivier Danvy, Andrzej Filinski, editors, Volume 2053 of Lecture Notes in Computer Science, Springer, 2001.

ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, ProceedingsJørgen Lindskov Knudsen, editor, Volume 2072 of Lecture Notes in Computer Science, Springer, 2001.

Recognition of machining features and feature topologies from NC programsX. Yan, K. Yamazaki, J. Liu. cad, 32(10):605-616, 2000. [doi]

Object-Oriented Real-Time Distributed Programming and Support MiddlewareK. H. Kim. icpads 2000: 10-20 [doi]

Alias Control Is Crucial for Modular Verification of Object-Oriented ProgramsPeter Müller, Arnd Poetzsch-Heffter. ECOOPW 1999: 154-156

ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, ProceedingsEric Jul, editor, Volume 1445 of Lecture Notes in Computer Science, Springer, 1998.

The Application of Object-oriented Programming to Monte Carlo Experiments on Beams of Phonons in CrystalsWojciech M. Gancza, Tadeusz Paszkiewicz. CANDC, 22(1):21-30, 1998. [doi]

Requirement Oriented ProgrammingDavid R. Musser, Sibylle Schupp, Rüdiger Loos. Dagstuhl 2000: 12-24 [doi]

Parallel Execution of Object-Oriented Programs: Message Handling StrategiesSzabolcs Ferenczi. pc, 22(13):1897-1912, 1997.

Concurrent Object-Oriented Programming for Distributed Real-time SystemsKatsumi Maruyama. isci, 93(1):87-106, 1996.

ECOOP 96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, ProceedingsPierre Cointe, editor, Volume 1098 of Lecture Notes in Computer Science, Springer, 1996.

An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented ProgrammingPatrick de Bondeli. Ada-Europe 1996: 370-384

ECOOP 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, ProceedingsWalter G. Olthoff, editor, Volume 952 of Lecture Notes in Computer Science, Springer, 1995.

An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport ProcessesJens Gerlach, Birgit Kähler. eurosim 1994: 777-784

A New Metric for Self-Organizing Feature Maps Allows Mapping of Arbitrary Parallel ProgramsJürgen W. Meyer. ictai 1993: 452-453

Agent-Oriented ProgrammingYoav Shoham. ai, 60(1):51-92, 1993.

Problem-Oriented Means of Program Specification and Verification in Project SPECTRUMV. A. Nepomniaschy, A. A. Sulimov. disco 1993: 374-378

ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, ProceedingsPierre America, editor, Volume 512 of Lecture Notes in Computer Science, Springer, 1991.

A class of methods for solving large, convex quadratic programs subject to box constraintsEugene K. Yang, Jon W. Tolle. mp, 51:223-228, 1991.

SNOOPS: An object-oriented language enhancement supporting dynamic program reconfigurationNoel G. Craske. SIGPLAN, 26(10):53-63, 1991. [doi]

ECOOP 88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, ProceedingsStein Gjessing, Kristen Nygaard, editors, Volume 322 of Lecture Notes in Computer Science, Springer, 1988.

ECOOP 87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, ProceedingsJean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman, editors, Volume 276 of Lecture Notes in Computer Science, Springer, 1987.

Automatic generation of self-test programs - a new feature of the MIMOLA design systemGerd Krüger. dac 1986: 378-384 [doi]

Experimental use of a program for computer-aided subject-index productionJanet E. Armitage, Michael F. Lynch, J. Howard Petrie, Mario Belton. ipm, 6(1):79-87, 1970. [doi]

An Application-Oriented Multiprocessing System Part III: Control Program FeaturesJames A. Devereaux. IBMSJ, 6(2):95-102, 1967.

runs on WebDSL