This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined func...
详细信息
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined functions are used as rewrite rules in the graph. Each function is compiled into an instruction sequence for an abstract graph reduction machine, called the G-machine, the code reduces a function application graph to its value. The G-machine instructions are then translated into target code. Speed improvements by almost two orders of magnitude over previous lazy evaluators have been measured;we provide some performance figures.
Tactile sensors are important for ensuring robotic perception [1], and their performance directly affects a robot’s capability for performing dexterous operations. These sensors mimic the tactile sensing capability o...
详细信息
Tactile sensors are important for ensuring robotic perception [1], and their performance directly affects a robot’s capability for performing dexterous operations. These sensors mimic the tactile sensing capability of human hands. This is because the skin of human hands is involved in considerably meticulous works and can provide multi-
Software systems can be represented as complex networks and their artificial nature can be investigated with approaches developed in network *** maximization has been successfully applied on software networks to ident...
详细信息
Software systems can be represented as complex networks and their artificial nature can be investigated with approaches developed in network *** maximization has been successfully applied on software networks to identify the important nodes that have the maximum influence on the other ***,research is open to study the effects of network fabric on the influence behavior of the highly influential *** this paper,we construct class dependence graph(CDG)networks based on eight practical Java software systems,and apply the procedure of influence maximization to study empirically the correlations between the characteristics of maximum influence and the degree distributions in the software *** demonstrate that the artificial nature of CDG networks is reflected partly from the scale free behavior:the in-degree distribution follows power law,and the out-degree distribution is *** the influence behavior,the expected influence spread of the maximum influence set identified by the greedy method correlates significantly with the degree *** addition,the identified influence set contains influential classes that are complex in both the number of methods and the lines of code(LOC).For the applications in software engineering,the results provide possibilities of new approaches in designing optimization procedures of software systems.
China Unicorn, the largest WCDMA 3G operator in China, meets the requirements of the historical Mobile Internet Explosion, or the surging of Mobile Internet Traffic from mobile terminals. According to the internal sta...
详细信息
China Unicorn, the largest WCDMA 3G operator in China, meets the requirements of the historical Mobile Internet Explosion, or the surging of Mobile Internet Traffic from mobile terminals. According to the internal statistics of China Unicom, mobile user traffic has increased rapidly with a Compound Annual Growth Rate (CAGR) of 135%. Currently China Unicorn monthly stores more than 2 trillion records, data volume is over 525 TB, and the highest data volume has reached a peak of 5 PB. Since October 2009, China Unicom has been developing a home-brewed big data storage and analysis platform based on the open source Hadoop Distributed File System (HDFS) as it has a long-term strategy to make full use of this Big Data. All Mobile Internet Traffic is well served using this big data platform. Currently, the writing speed has reached 1 390 000 records per second, and the record retrieval time in the table that contains trillions of records is less than 100 ms. To take advantage of this opportunity to be a Big Data Operator, China Unicom has developed new functions and has multiple innovations to solve space and time constraint challenges presented in data processing. In this paper, we will introduce our big data platform in detail. Based on this big data platform, China Unicom is building an industry ecosystem based on Mobile Internet Big Data, and considers that a telecom operator centric ecosystem can be formed that is critical to reach prosperity in the modern communications business.
We consider the scattering of light in participating media composed of sparsely and randomly distributed discrete *** particle size is expected to range from the scale of the wavelength to several orders of magnitude ...
详细信息
We consider the scattering of light in participating media composed of sparsely and randomly distributed discrete *** particle size is expected to range from the scale of the wavelength to several orders of magnitude greater,resulting in an appearance with distinct graininess as opposed to the smooth appearance of continuous *** fundamental issue in the physically-based synthesis of such appearance is to determine the necessary optical properties in every local *** these properties vary spatially,we resort to geometrical optics approximation(GOA),a highly efficient alternative to rigorous Lorenz–Mie theory,to quantitatively represent the scattering of a single *** enables us to quickly compute bulk optical properties for any particle size *** then use a practical Monte Carlo rendering solution to solve energy transfer in the discrete participating *** proposed framework is the first to simulate a wide range of discrete participating media with different levels of graininess,converging to the continuous media case as the particle concentration increases.
In intelligent transportation systems, deep learning is a widely adopted technique for traffic data recovery. In city-wide traffic data recovery tasks, traditional centralized deep-learning-model training strategies b...
详细信息
In unmanned aerial systems, especially in complex environments, accurately detecting tiny objects is crucial. Resizing images is a common strategy to improve detection accuracy, particularly for small objects. However...
详细信息
Objectives: Classifying strain in the singing voice can help protect professional singers from vocal overuse and support singing training. This study investigates whether machine learning can automatically classify si...
详细信息
暂无评论