Lu, Lunjin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Fausto Spoto, Lunjin Lu, Fred Mesnard

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 351 KB

english, 2009

2

Opinions on computing education in Korean K-12 system: higher education perspective

Kim, Dae-Kyoo, Jeong, Dongwon, Lu, Lunjin, Debnath, Debatosh, Ming, Hua

Journal:

Computer Science Education

Year:

2016

Language:

english

File:

PDF, 386 KB

english, 2016

3

[IEEE 2019 IEEE 21st International Conference on High Performance Computing and Communications; IEEE 17th International Conference on Smart City; IEEE 5th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Zhangjiajie, China (2019.8.10-2019.8.12)] 2019 IEEE 21st International Conference on High Performance Computing and Communications; IEEE 17th International Conference on Smart City; IEEE 5th International Conference on Data Science and Systems (HPCC/SmartCity/DSS) - Memory Bandwidth Prediction for HPC Applications in NUMA Architecture

Salehian, Solmaz, Lu, Lunjin

Year:

2019

Language:

english

File:

PDF, 493 KB

english, 2019

4

[IEEE 2020 3rd International Conference on Information and Computer Technologies (ICICT) - San Jose, CA, USA (2020.3.9-2020.3.12)] 2020 3rd International Conference on Information and Computer Technologies (ICICT) - Precise String Domain for Analyzing JavaScript Arrays and Objects

Almashfi, Nabil, Lu, Lunjin

Year:

2020

File:

PDF, 135 KB

2020

5

Checking Emptiness of Non-Deterministic Regular Types with Set Operators

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 362 KB

english, 2008

6

Quality-driven architecture development using architectural tactics

Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 1.84 MB

english, 2009

7

Polymorphic type analysis in logic programs by abstract interpretation

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 3.82 MB

english, 1998

8

A Polymorphic Type Dependency Analysis for Logic Programs

Journal:

New Generation Computing

Year:

2011

Language:

english

File:

PDF, 489 KB

english, 2011

9

A feature-based approach for modeling role-based access control systems

Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Suntae Kim, Sooyong Park

Journal:

Journal of Systems and Software

Year:

2011

Language:

english

File:

PDF, 1.80 MB

english, 2011

10

Building hybrid access control by configuring RBAC and MAC features

Kim, Sangsig, Kim, Dae-Kyoo, Lu, Lunjin, Song, Eunjee

Journal:

Information and Software Technology

Year:

2014

Language:

english

File:

PDF, 7.32 MB

english, 2014

11

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Required Behavior of Sequence Diagrams: Semantics and Refinement

Lu, Lunjin, Kim, Dae-Kyoo

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

12

[IEEE 2008 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC) - Munich, Germany (2008.09.15-2008.09.19)] 2008 12th International IEEE Enterprise Distributed Object Computing Conference - A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures

Kim, Suntae, Kim, Dae-Kyoo, Lu, Lunjin, Park, Soo-Yong

Year:

2008

Language:

english

File:

PDF, 867 KB

english, 2008

13

[IEEE 2011 International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - A Feature-Based Modeling Approach for Building Hybrid Access Control Systems

Kim, Sangsig, Kim, Dae-Kyoo, Lu, Lunjin, Park, Sooyong, Kim, Suntae

Year:

2011

Language:

english

File:

PDF, 225 KB

english, 2011

14

[IEEE Comput. Soc 11th IEEE International Conference on Engineering of Complex Computer Systems - Stanford, CA, USA (15-17 Aug. 2006)] 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) - Inference of Design Pattern Instances in UML models via Logic Programming

Dae-Kyoo Kim,, Lunjin Lu,

Year:

2006

Language:

english

File:

PDF, 177 KB

english, 2006

15

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Inverting abstract unification for set-sharing

Li, Xuan, Lu, Lunjin

Year:

2005

Language:

english

File:

PDF, 186 KB

english, 2005

16

Required behavior of sequence diagrams

Lu, Lunjin, Kim, Dae-Kyoo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 767 KB

english, 2014

17

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Use of correctness assertions in declarative diagnosis

Year:

2005

Language:

english

File:

PDF, 206 KB

english, 2005

18

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - A precise type analysis of logic programs

Year:

2000

Language:

english

File:

PDF, 375 KB

english, 2000

19

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Inferring precise polymorphic type dependencies in logic programs

Year:

2008

Language:

english

File:

PDF, 287 KB

english, 2008

20

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Implementing type-based constructive negation

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

21

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Type analysis of logic programs in the presence of type definitions

Year:

1995

Language:

english

File:

PDF, 1.03 MB

english, 1995

22

[IEEE 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) - Taichung, Taiwan (2015.7.1-2015.7.5)] 2015 IEEE 39th Annual Computer Software and Applications Conference - Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals

Younang, Astrid, Lu, Lunjin

Year:

2015

Language:

english

File:

PDF, 310 KB

english, 2015

23

[IEEE 2014 Theoretical Aspects of Software Engineering Conference (TASE) - Changsha, China (2014.9.1-2014.9.3)] 2014 Theoretical Aspects of Software Engineering Conference - Parametrizing Program Analysis

Year:

2014

Language:

english

File:

PDF, 316 KB

english, 2014

24

Improving precision of type analysis using non-discriminative union

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

25

A backward analysis for constraint logic programs

KING, ANDY, LU, LUNJIN

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 426 KB

english, 2002

26

On Dart-Zobel Algorithm for testing regular type inclusion

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 509 KB

english, 2001

27

Generation of magnetosonic waves over a continuous spectrum

Chen, Lunjin, Sun, Jicheng, Lu, Quanming, Gao, Xinliang, Xia, Zhiyang, Zhima, Zeren

Journal:

Journal of Geophysical Research: Space Physics

Year:

2016

Language:

english

File:

PDF, 3.56 MB

english, 2016

28

Design pattern-based model transformation supported by QVT

Kim, Dae-Kyoo, Lu, Lunjin, Lee, Byunghun

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 852 KB

english, 2017

29

Generation of multiband chorus by lower band cascade in the Earth's magnetosphere

Gao, Xinliang, Lu, Quanming, Bortnik, Jacob, Li, Wen, Chen, Lunjin, Wang, Shui

Journal:

Geophysical Research Letters

Year:

2016

Language:

english

File:

PDF, 2.10 MB

english, 2016

30

Generation of Multiband Chorus in the Earth's Magnetosphere: 1-D PIC Simulation

Gao, Xinliang, Ke, Yangguang, Lu, Quanming, Chen, Lunjin, Wang, Shui

Journal:

Geophysical Research Letters

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

31

[IEEE 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Klagenfurt, Austria (2017.2.20-2017.2.24)] 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Conventionality analysis of array objects in JavaScript

Younang, Astrid, Lu, Lunjin

Year:

2017

Language:

english

File:

PDF, 220 KB

english, 2017

32

Spectral Properties and Associated Plasma Energization by Magnetosonic Waves in the Earth's Magnetosphere: Particle-In-Cell Simulations

Sun, Jicheng, Gao, Xinliang, Lu, Quanming, Chen, Lunjin, Liu, Xu, Wang, Xueyi, Tao, Xin, Wang, Shui

Journal:

Journal of Geophysical Research: Space Physics

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

33

Toward Interoperability of Smart Grids

Kim, Dae-Kyoo, Alaerjan, Alaa, Lu, Lunjin, Yang, Hyosik, Jang, Hyuksoo

Journal:

IEEE Communications Magazine

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

34

A parametric study for the generation of ion Bernstein modes from a discrete spectrum to a continuous one in the inner magnetosphere. II. Particle-in-cell simulations

Sun, Jicheng, Gao, Xinliang, Lu, Quanming, Chen, Lunjin, Tao, Xin, Wang, Shui

Journal:

Physics of Plasmas

Year:

2016

Language:

english

File:

PDF, 1.36 MB

english, 2016

35

A parametric study for the generation of ion Bernstein modes from a discrete spectrum to a continuous one in the inner magnetosphere. I. Linear theory

Sun, Jicheng, Gao, Xinliang, Chen, Lunjin, Lu, Quanming, Tao, Xin, Wang, Shui

Journal:

Physics of Plasmas

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

36

Generation of lower harmonic magnetosonic waves through nonlinear wave-wave interactions

Gao, Xinliang, Sun, Jicheng, Lu, Quanming, Chen, Lunjin, Wang, Shui

Journal:

Geophysical Research Letters

Year:

2018

Language:

english

File:

PDF, 487 KB

english, 2018

37

Two-Dimensional Particle-in-Cell Simulation of Magnetosonic Wave Excitation in a Dipole Magnetic Field

Chen, Lunjin, Sun, Jicheng, Lu, Quanming, Wang, Xueyi, Gao, Xinliang, Wang, Dedong, Wang, Shui

Journal:

Geophysical Research Letters

Year:

2018

Language:

english

File:

PDF, 3.25 MB

english, 2018

38

Two‐dimensional general curvilinear particle‐in‐cell (gcPIC) simulation of rising‐tone chorus waves in a dipole magnetic field

Lu, Quanming, Ke, Yangguang, Wang, Xueyi, Liu, Kaijun, Gao, Xinlian, Chen, Lunjin, Wang, Shui

Journal:

Journal of Geophysical Research Space Physics

Year:

2019

Language:

english

File:

PDF, 928 KB

english, 2019

39

Statistical Results of the Power Gap Between Lower‐Band and Upper‐Band Chorus Waves

Gao, Xinliang, Chen, Lunjin, Li, Wen, Lu, Quanming, Wang, Shui

Journal:

Geophysical Research Letters

Year:

2019

Language:

english

File:

PDF, 2.11 MB

english, 2019

40

[ACM Press the 2019 8th International Conference - Penang, Malaysia (2019.02.19-2019.02.21)] Proceedings of the 2019 8th International Conference on Software and Computer Applications - ICSCA '19 - Precise String Analysis for JavaScript Programs Using Automata

Almashfi, Nabil, Lu, Lunjin, Picker, Koby, Maldonado, Christian

Year:

2019

Language:

english

File:

PDF, 658 KB

english, 2019

41

Particleâinâcell simulations of characteristics of risingâtone chorus waves in the inner magnetosphere

Ke, Yangguang, Lu, Quanming, Gao, Xinliang, Wang, Xueyi, Chen, Lunjin, Wang, Shaojie, Wang, Shui

Journal:

Journal of Geophysical Research Space Physics

Year:

2020

File:

PDF, 1.42 MB

2020

42

[IEEE 2020 5th International Conference on Computer and Communication Systems (ICCCS) - Shanghai, China (2020.5.15-2020.5.18)] 2020 5th International Conference on Computer and Communication Systems (ICCCS) - Code Smell Detection Tool for Java Script Programs

Almashfi, Nabil, Lu, Lunjin

Year:

2020

File:

PDF, 1.57 MB

2020

43

[IEEE 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) - London, ON, Canada (2020.2.18-2020.2.21)] 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Reflection on Building Hybrid Access Control by Configuring RBAC and MAC Features

Kim, Dae-Kyoo, Ming, Hua, Lu, Lunjin

Year:

2020

File:

PDF, 217 KB

2020

44

[IEEE 2019 International Conference on Computational Science and Computational Intelligence (CSCI) - Las Vegas, NV, USA (2019.12.5-2019.12.7)] 2019 International Conference on Computational Science and Computational Intelligence (CSCI) - Memory Bandwidth Prediction in NUMA Architecture Using Supervised Machine Learning

Salehian, Soulmaz, Lu, Lunjin

Year:

2019

File:

PDF, 181 KB

2019