Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
An anonymous and efficient remote biometrics user authentication scheme in a multi server environment
Springer Science and Business Media LLC - Tập 9 - Trang 142-156 - 2014
As service demands rise and expand single-server user authentication has become unable to satisfy actual application demand. At the same time identity and password based authentication schemes are no longer adequate because of the insecurity of user identity and password. As a result biometric user authentication has emerged as a more reliable and attractive method. However, existing biometric aut......
Foreword to the special section on synchronous programming
Springer Science and Business Media LLC - Tập 7 - Trang 595-597 - 2013
Mathematical model and simulated annealing algorithm for Chinese high school timetabling problems under the new curriculum innovation
Springer Science and Business Media LLC - Tập 15 - Trang 1-11 - 2020
As the first attempt, this paper proposes a model for the Chinese high school timetabling problems (CHSTPs) under the new curriculum innovation which was launched in 2014 by the Chinese government. According to the new curriculum innovation, students in high school can choose subjects that they are interested in instead of being forced to select one of the two study directions, namely, Science and......
Combined classifier for cross-project defect prediction: an extended empirical study
Springer Science and Business Media LLC - - 2018
DiagDO: an efficient model based diagnosis approach with multiple observations
Springer Science and Business Media LLC - Tập 17 - Trang 1-10 - 2023
Model-based diagnosis (MBD) with multiple observations shows its significance in identifying fault location. The existing approaches for MBD with multiple observations use observations which is inconsistent with the prediction of the system. In this paper, we proposed a novel diagnosis approach, namely, the Diagnosis with Different Observations (DiagDO), to exploit the diagnosis when given a set o......
A program logic for obstruction-freedom
Springer Science and Business Media LLC - Tập 18 - Trang 1-16 - 2023
Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom, it has advantages that have led to the use of obstruction-free implementations for software transactional memory (STM) and in anonymous and fault-tolerant distributed computing. However, existing work can only verify obstruction-freedom of specific data structures (e.g., ......
Gauze: enabling communication-friendly block synchronization with cuckoo filter
Springer Science and Business Media LLC - - 2023
$$\cal{Y}$$ -Tuning: an efficient tuning paradigm for large-scale pre-trained models via label representation learning
Springer Science and Business Media LLC - Tập 18 - Trang 1-10 - 2023
With current success of large-scale pre-trained models (PTMs), how efficiently adapting PTMs to downstream tasks has attracted tremendous attention, especially for PTMs with billions of parameters. Previous work focuses on designing parameter-efficient tuning paradigms but needs to save and compute the gradient of the whole computational graph. In this paper, we propose
......
High-availability in-memory key-value store using RDMA and Optane DCPMM
Springer Science and Business Media LLC - Tập 17 - Trang 1-3 - 2022
In this paper, we propose a fast high-availability in-memory key-value store based on RDMA network and Optane DCPMM named FaHA. FaHA proposes RDMA persist PRC that enables remote data persistence for fast log shipping with minimal round-trip and persistence overhead. FaHA further designs append-only storage with pipeline batching scheme in NVM and a hotness-aware differential hash index in DRAM to......
Tổng số: 820
- 1
- 2
- 3
- 4
- 5
- 6
- 10