Nai-Wei Lin

dblp:80/2377 · DBLP profile ↗
← Back
11ranked-venue papers
1as first author
0since 2021 · last 2013
0000-0002-4417-3988ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5Graphics, computer vision, multimedia, augmented reality and games · 2Theory of computation · 2 · 1 first-authorSystems, architecture and hardware · 1Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Parallel and multicore computing · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
cost analysis
0.011993
Cost Analysis of Logic Programs · ACM Trans. Program. Lang. Syst. 1993
Program analysis
static analysis
0.011993
Cost Analysis of Logic Programs · ACM Trans. Program. Lang. Syst. 1993
Program analysis › cost analysis
worst-case cost analysis
0.011993
Cost Analysis of Logic Programs · ACM Trans. Program. Lang. Syst. 1993
Parallel and multicore computing
parallel programming models and runtimes
0.011990
Task Granularity Analysis in Logic Programs · PLDI 1990
Parallel and multicore computing › parallel programming models › task parallelism
task granularity control
0.011990
Task Granularity Analysis in Logic Programs · PLDI 1990
Logic in computer science
logic programming
0.011990
Task Granularity Analysis in Logic Programs · PLDI 1990

Methods — techniques the papers use, named apart from their topics

compile-time granularity estimation · 0.0abstract interpretation · 0.0
YearPublicationVenuePosition
2013 Classification-based video super-resolution using artificial neural networks
Ming-Hui Cheng, Kao-Shing Hwang, Jyh-Horng Jeng, Nai-Wei Lin
Signal Process.4
2012 A study on electrical properties of acupuncture points in allergic rhinitis
abstract
Allergic rhinitis is a prevalent disease throughout the world. Electrodermal screening devices (EDSD) are devices that can measure the electrical properties of acupuncture points. This paper performs a series of experiments based on machine learning algorithms to study the feasibility of utilizing EDSD to diagnose allergic rhinitis. The experimental result shows that, to assess the presence of allergic rhinitis, using the k-nearest neighbor classification algorithm, the accuracy can achieve 93.26%, and using the support vector machine classification algorithm, the average accuracy can achieve 97.78%. The experimental result also shows that using, respectively, the k-means clustering algorithm and the Ward's hierarchical clustering algorithm to cluster the data into three clusters, 87% of the data are consistently clustered. The average total symptom scores in these three clusters are also very consistent. Based on the 87% consistently clustered data, using the support vector machine algorithm to assess the severity (mild and moderate/severe) of allergic rhinitis, the average accuracy can achieve 99.57%. In particular, the experimental result also shows that the disordered EDSD values at acupuncture points of spleen meridian and liver meridian coincides with the clinic experiences of standard traditional Chinese medicine.
Ming-Hsien Yeh, Hao-Feng Luo, Nai-Wei Lin, Zen-Yi Chen, Chia-Chou Yeh
Healthcom3
2007 Application-Specific Data Path for Highly Efficient Computation of Multistandard Video Codecs
abstract
A novel mechanism that flexibly adapts data flows and configures computational units is proposed to establish an application-specific data path in the digital signal processor (DSP) that can efficiently perform multistandard video codecs. Based on this mechanism, the proposed application-specific data path, using the very long instruction word (VLIW) architecture with eight computational units of five arithmetic logic units (ALUs), one multiplier and two load/store units, is designed to perform five adaptive operations according to the characteristics of the low-level functions of MPEG-2, MPEG-4 and H.264/AVC video codecs. Using these adaptive operations, the proposed application-specific data path reduces the number of clock cycles required by the TI TMS320C64x data path to perform the low-level functions of the MPEG-2 video encoder and the H.264/AVC video decoder by 23.10% and 28.43%, respectively, for 30 352times288-pixel Foreman frames. Additionally, considering the operating frequency, the proposed application-specific data path reduces the computation time required by the TI TMS320C64x data path to realize the abovementioned encoder and decoder by 19.86% and 25.41%, respectively. Based on the TSMC 0.18-mum CMOS cell library, the proposed application-specific data path is implemented, and exhibits the highest ratio of computational power to hardware cost among all of the data paths associated with the conventional DSPs in implementing the low-level functions of video codecs
Oscal Tzyh-Chiang Chen, Li-Hsun Chen, Nai-Wei Lin, Chih-Chang Chen
IEEE Trans. Circuits Syst. Video Technol.3
2005 A Tool for Constructing Syntax-Directed Editors
abstract
Syntax-directed editors can perform syntax analysis during program editing. This capability allows programmers to correct syntax errors in a much more efficient way. Because of this, syntax-directed editors have become an integral component in current integrated development environments. This paper describes a tool that is designed to facilitate the construction of syntax-directed editors. This tool consists of two components: a generator for incremental parsers and a simple application program interface that facilitates the integration of incremental parsers and editors. The application program interface is based on a simple editing model that can be applied in most editors.
Yung-Shen Chang, Nai-Wei Lin
APSEC2
1998 Toward Supporting Data Parallel Programming on Clusters of Symmetric Multiprocessors
abstract
The paper reports the design of a runtime library for data-parallel programming on clusters of symmetric multiprocessors (SMP clusters). Our design algorithms exploit a hybrid methodology which maps directly to the underlying hierarchical memory system in SMP clusters, by combining two styles of programming methodologies-threads (shared memory programming) within a SMP node and message passing between SMP nodes. This hybrid approach has been used in the implementation of a library for collective communications. The prototype library is implemented based on standard interfaces for threads (pthread) and message passing (MPI). Experimental results on a cluster of Sun UltraSparc-II workstations are reported.
Chia-Lien Chiang, Jan-Jan Wu, Nai-Wei Lin
ICPADS3
1994 Estimating the Computational Cost of Logic Programs
Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo, Nai-Wei Lin
SAS4
1993 Approximating the Chromatic Polynomial of a Graph
Nai-Wei Lin
WG1
1993 Cost Analysis of Logic Programs
abstract
Cost analysis of programs has been studied in the context of imperative and functional programming languages. For logic programs, the problem is complicated by the fact that programs may be nondeterministic and produce multiple solutions. A related problem is that because failure of execution is not an abnormal situation, it is possible to write programs where implicit failures have to be dealt with explicitly in order to get meaningful results. This paper addresses these problems and develops a method for (semi-)automatic analysis of the worst-case cost of a large class of logic programs. The primary contribution of this paper is the development of techniques to deal with nondeterminism and the generation of multiple solutions via backtracking. Applications include program transformation and synthesis, software engineering, and in parallelizing compilers. Categories and Subject Descriptors: D.1 [Software]: Programming Techniques; D.1.6 [Program- ming Techniques]: Logic Progra...
Saumya K. Debray, Nai-Wei Lin
ACM Trans. Program. Lang. Syst.2
1991 Automatic Complexity Analysis of Logic Programs
Saumya K. Debray, Nai-Wei Lin
ICLP2
1990 Static Estimation of Query Sizes in Horn Programs
Saumya K. Debray, Nai-Wei Lin
ICDT2
1990 Task Granularity Analysis in Logic Programs
abstract
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the work involved in task creation and scheduling. In practice, therefore, the “granularity” of a goal, i.e. an estimate of the work available under it, should be taken into account when deciding whether or not to execute a goal concurrently as a separate task. This paper describes a method for estimating the granularity of a goal at compile time. The runtime overhead associated with our approach is usually quite small, and the performance improvements resulting from the incorporation of grainsize control can be quite good. This is shown by means of experimental results.
Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo
PLDI2