Robby Findler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged design

Operational semantics for multi-language programsJacob Matthews, Robby Findler. TOPLAS, 31(3), 2009. [doi]

10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USAIEEE, 2009.

Characterizing maintainability concerns in autonomic element designICSM 2008: 197-206 [doi]

Operational semantics for multi-language programsJacob Matthews, Robby Findler. POPL 2007: 3-10 [doi]

Valiant Load Balancing, Capacity Provisioning and Resilient Backbone DesignAlejandro López-Ortiz. caan 2007: 3-12 [doi]

Valiant Load Balancing, Benes Networks and Resilient Backbone DesignAlejandro López-Ortiz. caan 2007: 2 [doi]

MOEAs in the Design of Network Centric Systems (Abstract of Invited Talk)Gary B. Lamont. emo 2007: 4 [doi]

A Multi-tiered Memetic Multiobjective Evolutionary Algorithm for the Design of Quantum Cascade LasersMark P. Kleeman, Gary B. Lamont, Adam Cooney, Thomas R. Nelson. emo 2007: 186-200 [doi]

Issues in holistic system designJulia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz. asplos 2006: 12 [doi]

Design beyond human abilitiesRichard P. Gabriel. AOSD 2006: 2 [doi]

Assessing Aspect Modularizations Using Design Structure Matrix and Net Option ValueCristina Videira Lopes, Sushil Krishna Bajracharya. TAOSD, :1-35, 2006. [doi]

Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, FinlandIEEE Computer Society, 2006.

MOEA design of robust digital symbol setsRichard O. Day, Abel S. Nunez, Gary B. Lamont. gecco 2005: 2213-2214 [doi]

MOEA design of robust digital symbol setsRichard O. Day, Abel S. Nunez, Gary B. Lamont. gecco 2005: 167-169 [doi]

ESD-RF co-design methodology for the state of the art RF-CMOS blocksVesselin K. Vassilev, S. Thijs, P. L. Segura, P. Wambacq, Paul Leroux, Guido Groeseneken, M. I. Natarajan, H. E. Maes, Michiel Steyaert. mr, 45(2):255-268, 2005. [doi]

Formal design of self-stabilizing programsI. S. W. B. Prasetya, S. Doaitse Swierstra. jhsn, 14(1):59-83, 2005. [doi]

Low Power SER Tolerant Design to Mitigate Single Event Transients in Nanoscale CircuitsPraveen Elakkumanan, Kishan Prasad, Ramalingam Sridhar. jolpe, 1(2):182-193, 2005. [doi]

Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, SIGDOC 2004, Memphis, Tennessee, USA, October 10-13, 2004Scott R. Tilley, Shihong Huang, editors, ACM, 2004.

28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, ProceedingsIEEE Computer Society, 2004.

Editorial: The Role of Prognostication in Software DesignJames M. Bieman. sqj, 12(1):7-8, 2004. [doi]

Nonlinear optimal tracking control with application to super-tankers for autopilot designTayfun Çimen, Stephen P. Banks. automatica, 40(11):1845-1863, 2004. [doi]

27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, ProceedingsIEEE Computer Society, 2003.

Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, ProceedingsMark Aagaard, John W. O Leary, editors, Volume 2517 of Lecture Notes in Computer Science, Springer, 2002.

Turning the Art of Interface Design into EngineeringJef Raskin. ehci 2001: 5-6 [doi]

2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UKIEEE Computer Society, 2001.

Design and evaluation of a wide-area event notification serviceAntonio Carzaniga, David S. Rosenblum, Alexander L. Wolf. tocs, 19(3):332-383, 2001. [doi]

Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, CanadaWeiming Shen, Zongkai Lin, Jean-Paul A. Barthès, Mohamed Kamel, editors, 2001.

Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000IEEE Computer Society, 2000.

Integrating user-perceived quality into Web server designNina T. Bhatti, Anna Bouch, Allan Kuchinsky. cn, 33(1-6):1-16, 2000. [doi]

Design brief: Nortel NetworksMike Atyeo, Arnold Campbell. interactions, 7(2):47-49, 2000. [doi]

Design and implementation of a video network serverTakeshi Ohmura, Teruto Hirota, Masanori Nakanishi, Hideyuki Oka. scjapan, 28(8-9):84-92, 1997. [doi]

A Design Framework for Internet-Scale Event Observation and NotificationDavid S. Rosenblum, Alexander L. Wolf. ESEC/FSE 1997: 344-360 [doi]

Studies of Software Design, ICSE 93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993, Selected PapersDavid Alex Lamb, editor, Volume 1078 of Lecture Notes in Computer Science, Springer, 1996.

A facilitator method for upstream design activities with diverse stakeholdersRegina M. Gonzales, Alexander L. Wolf. icre 1996: 190-198 [doi]

Design Patterns for Constructing the Hot Spots of a Manufacturing FrameworkHans Albrecht Schmid. joop, 9(3):25, 1996.

System-Level Design Issues for Storage I/ORichard R. Muntz, Joseph Pasquale. ACM Comput. Surv., 28(4es):210, 1996.

1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, ProceedingsIEEE Computer Society, 1995.

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994, San Jose, California, USA, November 6-10, 1994Jochen A. G. Jess, Richard L. Rudell, editors, IEEE Computer Society, 1994.

The design and implementation of a ventilator-management advisorGeoffrey Rutledge, George E. Thomsen, Brad R. Farr, Maria A. Tovar, Jeanette X. Polaschek, Ingo A. Beinlich, Lewis B. Sheiner, Lawrence M. Fagan. artmed, 5(1):67-82, 1993.

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993Michael R. Lightner, Jochen A. G. Jess, editors, IEEE Computer Society, 1993.

Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993Jack C. Wileden, editor, IEEE Computer Society, 1993.

Towards the Formal Design of Self-Stabilizing Distributed AlgorithmsP. J. A. Lentfert, S. Doaitse Swierstra. STACS 1993: 440-451

Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, ProceedingsVictoria Stavridou, Thomas F. Melham, Raymond T. Boute, editors, Volume A-10 of IFIP Transactions, North-Holland, 1992.

Issues in the Design and Documentation of Class LibrariesGregor Kiczales, John Lamping. OOPSLA 1992: 435-451

File System Measurements and their Application to the Design of Efficient Operation Logging AlgorithmDavid F. Bacon. srds 1991: 21-30

Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991IEEE Computer Society, 1991.

A note on an orthogonal systolic design for the assignment problemSverre Storøy, Tor Sørevik. pc, 17(4-5):523-525, 1991.

A Hierarchical Global Wiring Algorithm for Custom Chip DesignW. K. Luk, Paolo Sipala, Markku Tamminen, Donald T. Tang, Lin S. Woo, Chak-Kuen Wong. tcad, 6(4):518-533, 1987. [doi]

Considerations in Developing a Design Tool for a Relational DBMSMario Schkolnick, Paolo Tiberio. compsac 1979: 228-235 [doi]

Structured logical design of information systems: a methodology, documentation and experienceOscar Barros, V. Pérez, A. Holgado. is, 4(3):13-21, 1979.

runs on WebDSL