Andrei Voronkov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged design

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]

::::Design and Analyse Your Experiment with Minitab::::. Tony Greenfield and Andrew Metcalfe (Eds.) 2007 Hodder Arnold: UK 303 pagesPatrick O Connor. qre, 24(1):123, 2008. [doi]

21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, IndiaIEEE Computer Society, 2008.

Reports, requests, and recipient design: The management of patron queries in online reference chatsTerrence W. Epperson, Alan Zemel. jasis, 59(14):2268-2283, 2008. [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]

Design Concepts and First Implementations for 24 GHz Wireless Sensor NodesStefan von der Mark, Meik Huber, Georg Boeck. jcm, 2(6):1-5, 2007. [doi]

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

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

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, ChinaIEEE Computer Society, 2006.

Aesthetic Geometry Evolution in a Generic Interactive Evolutionary Design FrameworkMatthew Lewis, Keith Ruston. ngc, 23(2):171-179, 2005. [doi]

Using the KGP Model of Agency to Design Applications (Tutorial Paper)Fariba Sadri. clima 2006: 165-185 [doi]

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.

The design and implementation of VAMPIREAlexandre Riazanov, Andrei Voronkov. aicom, 15(2-3):91-110, 2002. [doi]

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.

Production Clustering at Pratt & Whitney: Desktop Supercomputing for Engineering DesignPete Bradley. cluster 2002: 171 [doi]

Blades - An Emerging System Design Model for Economic Delivery of High Performance ComputingKirk Bresnike. cluster 2002: 5 [doi]

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.

Steps towards the Design of Attractive Virtual Spaces for Tele-LearningMarion R. Finley Jr., Yuki Sogabe. webnet 2001: 362-363

Engineering Design TutorMichael Terk, Prabhu Prakashganesh. webnet 2001: 1215-1220

Community Colleges World Wide Web Home Pages: Accessibility and DesignMarty Bray, Claudia Flowers, Robert Algozzine. webnet 2001: 107-110

The importance of Graphic Design in the develope of an educational siteMartha Gutierrez. webnet 2001: 464-465

Why did they Drop? High Attrition & Instructional Design in Distance EducationTracy Roberts, Rob McTavish. webnet 2001: 1051

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]

Scalable Quality of Service Network DesignSyed I. A. Shah, H. T. Mouftah. icc 2000: 735-739

Issues and Applications of Case-Based Reasoning in Design, edited by Mary Lou Maher and Pearl PuPeter G. Underwood. jasis, 49(8):762-764, 1998.

Design and implementation of a video network serverTakeshi Ohmura, Teruto Hirota, Masanori Nakanishi, Hideyuki Oka. scjapan, 28(8-9):84-92, 1997. [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.

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.

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

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

Systemview Design Considerations for a Real-Time Performance Management ApplicationRobert F. Berry. cmg 1992: 186-192

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.

System design and cataloging meet the user: User interfaces to online public access catalogsMartha M. Yee. jasis, 42(2):78-98, 1991.

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.

A Simple Experiment in Top-Down DesignDouglas Comer, Maurice H. Halstead. TSE, 5(2):105-109, 1979.

runs on WebDSL