An Operational Happens-before Memory Model
ABSTRACT Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to...
ABSTRACT Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to...
ABSTRACT In this paper, a quantitative life cycle model for carbon emission accounting was developed based on the life cycle assessment (LCA) theory. A residential building i...
ABSTRACT This paper establishes a lattice Boltzmann method (LBM) with two amending functions for solving partial differential equations (PDEs) arising in Asian and lookback o...
ABSTRACT Building energy simulation is essential for most architectural design projects. Many models have been developed to predict the indoor air temperature and relative hu...
Sustaining forest resources requires a better understanding of forest ecosystem processes and how management decisions and climate change may affect these processes in the fut...
WORKING AT THE WEATHER COMPANY We are The Weather Company, and our name speaks for itself. We are a company focused entirely on the weather,and we’re proud to say we reach ...
Notre Dame IN (SPX) Jan 10, 2016 - Physicists around the world were puzzled recently when an unusual bump appeared in the signal of the Large Hadron Collider, the world's lar...
This policy research report on the environment and development in China incorporates the China Council for International Cooperation on Environment and Development (CCICED)'s...
http://www.iisd.org/publications/china-cciced-policy-research-report-2014
Dave Choi writes: A reviewer has pointed me something that you wrote in your blog on inverting test statistics. Specifically, the reviewer is interested in what can happen if ...
Realistic network topologies are crucial for network research and are commonly used for the analysis, simulation, and evaluation of various mechanisms and protocols. In this p...
Network topology models have drawn tremendous interest from the research community. Traditionally, Internet modelling has been done at the AS or router level, in part because ...
Communication networks play a vital role in our daily lives and they have become a critical infrastructure. However, networks in general, and the Internet in particular face a...