Showing results 621 to 640 of 3516
Automata-Based Semantics of MSCs and Algorithm for the Construction of Semantic-Automata 차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.519 - 521, 1999 |
Automated test coverage measurement for reactor protection system software implemented in function block diagram Jee E.; Kim S.; Cha S.; Lee I., 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010, pp.223 - 236, 2010-09-14 |
Automatic Generation and Management of Interprocedural Program Analyses Kwangkeun Yi, ACM Symposium on Principles of Programming Languages, pp.246 - 259, 1993 |
Automatic Test Generation from Statecharts Using Model Checking Cha, Sungdeok, Proceedings of Formal Approaches to Testing of Software (FATES '01), pp.15 - 30, 2001 |
Automatically Exploiting Implicit Pipeline Parallelism from Multiple Dependent Kernels for GPUs Kim, Gwangsun; Jeong, Jiyun; Kim, John; Stephenson, Mark, 25th International Conference on Parallel Architectures and Compilation Techniques, PACT 2016, pp.339 - 350, Institute of Electrical and Electronics Engineers Inc., 2016-09 |
Automating Decision-Making: Process Based Approach Park, Sang Chan, Int'l Conf. on Engineering Design and Automation, 1998 |
Autopilot design of tilt-rotor UAV using particle swarm optimization method Lee J.-H.; Min B.-M.; Kim E.-T., International Conference on Control, Automation and Systems, ICCAS 2007, pp.1629 - 1633, 2007-10-17 |
Avatar drone: Drone as telepresence platform with 3D mobility Bae, Ilhan, 13th International Conference on Ubiquitous Robots and Ambient Intelligence, URAI 2016, pp.452 - 453, Institute of Electrical and Electronics Engineers Inc., 2016-08 |
AXGAMES: Towards Crowdsourcing Quality Target Determination in Approximate Computing PARK, JONGSE; Amaro, Emmanuel; Mahajan, Divya; Thwaites, Bradley; Esmaeilzadeh, Hadi, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM SIGARCH, SIGOPS, SIGPLAN, 2016-04-02 |
Axilog: Language Support for Approximate Hardware Design Yazdanbakhsh, Amir; Mahajan, Divya; Thwaites, Bradley; PARK, JONGSE; Nagendrakumar, Anandhavel; Sethuraman, Sindhuja; Ramkrishnan, Kartik; et al, Design, Automation & Test in Europe Conference & Exhibition (DATE), European Design and Automation Association (EDAA), 2015-03-09 |
B decays at large tan beta as a probe of SUSY breaking Ko, Pyungwon, International Conference on Supersymmety and Unification of Fundamental Interactions, 2002 |
B physics and supersymmetry Ko, Pyungwon, SUSY 04, v.45, 2004 |
B-to-B 전자상거래을 위한 CRM 및 Web Mining 기술 박상찬, 산업정보화와 B-to-B 전자상거래, pp.19 - 34, 2000 |
B0 - anti-B0 mixing, B ---> J / Psi K(s) and B ---> X(d) gamma in general MSSM Ko, Pyungwon, International Conference on Supersymmetry and Unification of Fundamental Interactions, 2002 |
B2B Business Models 박상찬, 한국지능정보시스템학회 2000년 학술대회, pp.49 - 62, 2000 |
B2B 세계화 전략 박상찬, E conversion Summit 2000, pp.283 -, 2000 |
B2B 전자상거래의 현황과 전망 박상찬, 한국인터넷정보학회, pp.1 - 18, 2000 |
B2B 표준화와 글로벌 전략 박상찬, B2B 대토론회 - 산업자원부 전자상거래과, pp.33 - 59, 2000 |
Balance scheduling and control method in the semiconductor fabrication line Lee, Young Hoon; Lee, Byungjin; Yang, Taeyong, The OR Society, 2004 |
Bandwidth Lim Kyoohyun; Park Chan-Hong; Kim Beomsup, Proceedings of the 1998 IEEE International Symposium on Circuits and Systems, ISCAS. Part 5 (of 6), v.1, pp.163 - 166, 1998-05-31 |
Discover