저가형 마이크로프로세서를 위한 감마보정방식 S-곡선 속도프로파일 알고리즘 유효성 검증

KEY: # = new course * = course changed † = course dropped University of Kentucky 2014-2015 Undergraduate Bulletin 1 A-S 001 FOUNDATION EXHIBITION. (0) An annual exhibition where all first-year Foundation students will select and exhibit one of their works created in a course at UK during their first year. Students will be required to select their own work, present it professionally, and provide an accompanying artist’s statement. The exhibition will occur each spring semester. Grade: P or F. Prereq or concur: A-S 101, A-S 102 and A-S 130.

[1]  D. Walker,et al.  A Calculus of Mobile Processes, Part I , 1989 .

[2]  Vasco Thudichum Vasconcelos,et al.  Linear type theory for asynchronous session types , 2009, Journal of Functional Programming.

[3]  David J. Buttler,et al.  Encyclopedia of Data Warehousing and Mining Second Edition , 2008 .

[4]  Benjamin C. Pierce,et al.  Advanced Topics In Types And Programming Languages , 2004 .

[5]  Antonio Vallecillo,et al.  Typing the Behavior of Objects and Component Using Session Types , 2003, FOCLASA.

[6]  A. Pou,et al.  Tracheoesophageal voice restoration with total laryngectomy. , 2004, Otolaryngologic clinics of North America.

[7]  Kohei Honda,et al.  An Interaction-based Language and its Typing System , 1994, PARLE.

[8]  Sophia Drossopoulou,et al.  Session Types for Object-Oriented Languages , 2006, ECOOP.

[9]  D. Walker,et al.  A Calculus of Mobile Processes, Part Ii , 1989 .

[10]  Vasco Thudichum Vasconcelos,et al.  A Linear Account of Session Types in the Pi Calculus , 2010, CONCUR.

[11]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[12]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[13]  Vasco Thudichum Vasconcelos,et al.  Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 1998, SecReT@ICALP.

[14]  Joana Correia Campos.  LINEAR AND SHARED OBJECTS IN CONCURRENT PROGRAMMING , 2010 .

[15]  Simon J. Gay,et al.  Subtyping for session types in the pi calculus , 2005, Acta Informatica.

[16]  Nobuko Yoshida,et al.  Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 2007, Electron. Notes Theor. Comput. Sci..

[17]  Mariangiola Dezani-Ciancaglini,et al.  Sessions and Session Types: An Overview , 2009, WS-FM.