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 invitation to friendly testing
Springer Science and Business Media LLC - - 1998
David de Frutos-Escrig, Luis Llana-Díaz, Manuel Núñez
We present a new testing semantics, calledfriendly testing, whose main property is that the induced preorder between processes ⊑fr is consistent with the conformance relation, and so we have, for instance,a ⊕b ⊑fr a ⊑fr a +b. The new theory is strongly based on De Nicola & Hennessy’s work on testing. Friendly tests are defined exactly as in their work, except that internal actions are not allowed.... hiện toàn bộ
An analysis of WS and PFF algorithms
Springer Science and Business Media LLC - Tập 2 - Trang 145-156 - 1987
Yangsheng Pan
In order to analyzeWS andPFF algorithms, mathematical models have been developed. The results obtained from the analysis in this paper areT min andT max of the parameterT for the two algorithms respectively. The input parameters for the models were obtained from the address traces fof three programs. The results of the models were validated by simulation. WS algorithm has better performance. It ad... hiện toàn bộ
Memory Efficient Two-Pass 3D FFT Algorithm for Intel® Xeon PhiTM Coprocessor
Springer Science and Business Media LLC - Tập 29 - Trang 989-1002 - 2014
Yi-Qun Liu, Yan Li, Yun-Quan Zhang, Xian-Yi Zhang
Equipped with 512-bit wide SIMD instructions and large numbers of computing cores, the emerging x86-based Intel® Many Integrated Core (MIC) Architecture provides not only high floating-point performance, but also substantial off-chip memory bandwidth. The 3D FFT (three-dimensional fast Fourier transform) is a widely-studied algorithm; however, the conventional algorithm needs to traverse the data ... hiện toàn bộ
Progress in the development of national knowledge infrastructure
Springer Science and Business Media LLC - Tập 17 - Trang 523-534 - 2002
Cungen Cao, Qiangze Feng, Ying Gao, Fang Gu, Jinxin Si, Yuefei Sui, Wen Tian, Haitao Wang, Lili Wang, Qingtian Zeng, Chunxia Zhang, Yufei Zheng, Xiaobin Zhou
This paper presents the recent process in a long-term research project, called National Knowledge Infrastructure (or NKI). Initiated in the early 2000, the project aims to develop a multi-domain shareable knowledge base for knowledge-intensive applications. To develop NKI, we have used domain-specific ontologies as a solid basis, and have built more than 600 ontologies. Using these ontologies and ... hiện toàn bộ
Roundtable: Research Opportunities and Challenges for Emerging Software Systems
Springer Science and Business Media LLC - Tập 30 - Trang 935-941 - 2015
Xiangyu Zhang, Dongmei Zhang, Yves Le Traon, Qing Wang, Lu Zhang
For this special section on software systems, several research leaders in software systems, as guest editors for this special section, discuss important issues that will shape this field’s future directions. The essays included in this roundtable article cover research opportunities and challenges for emerging software systems such as data processing programs (Xiangyu Zhang) and online services (D... hiện toàn bộ
Striping and scheduling for large scale multimedia servers
Springer Science and Business Media LLC - Tập 19 - Trang 885-895 - 2008
Kyung-Oh Lee, Jun-Ho Park, Yoon-Young Park
When designing a multimedia server, several things must be decided: which scheduling scheme to adopt, how to allocate multimedia objects on storage devices, and the round length with which the streams will be serviced. Several problems in the designing of large-scale multimedia servers are addressed, with the following contributions: (1) a striping scheme is proposed that minimizes the number of s... hiện toàn bộ
Displaying of details in subvoxel accuracy
Springer Science and Business Media LLC - Tập 11 - Trang 480-488 - 1996
Wenli Cai, Tianzhou Chen, Jiaoying Shi
Under the volume segmentation in voxel space, a lot of details, some fine and thin objects, are ignored. In order to accurately display these details, this paper has developed a methodology for volume segmentation in subvoxel space. In the subvoxel space, most of the “bridges” between adjacent layers are broken down. Based on the subvoxel space, an automatic segmentation algorithm reserving detail... hiện toàn bộ
Constructing an Educational Knowledge Graph with Concepts Linked to Wikipedia
Springer Science and Business Media LLC - Tập 36 - Trang 1200-1211 - 2021
Fu-Rong Dang, Jin-Tao Tang, Kun-Yuan Pang, Ting Wang, Sha-Sha Li, Xiao Li
To use educational resources efficiently and dig out the nature of relations among MOOCs (massive open online courses), a knowledge graph was built for MOOCs on four major platforms: Coursera, EDX, XuetangX, and ICourse. This paper demonstrates the whole process of educational knowledge graph construction for reference. And this knowledge graph, the largest knowledge graph of MOOC resources at pre... hiện toàn bộ
Providing Virtual Cloud for Special Purposes on Demand in JointCloud Computing Environment
Springer Science and Business Media LLC - Tập 32 Số 2 - Trang 211-218 - 2017
Donggang Cao, Bo An, Peichang Shi, Huaimin Wang
Protecting User Privacy in a Multi-Path Information-Centric Network Using Multiple Random-Caches
Springer Science and Business Media LLC - Tập 32 - Trang 585-598 - 2017
Wei-Bo Chu, Li-Fang Wang, Ze-Jun Jiang, Alan Chin-Chen Chang
In-network caching is a fundamental mechanism advocated by information-centric networks (ICNs) for efficient content delivery. However, this new mechanism also brings serious privacy risks due to cache snooping attacks. One effective solution to this problem is random-cache, where the cache in a router randomly mimics a cache hit or a cache miss for each content request/probe. In this paper, we in... hiện toàn bộ
Tổng số: 1,957   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10