Results 1  10
of
2,956
Software transactional memory for dynamicsized data structures
 IN PROCEEDINGS OF THE 22ND ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING
, 2003
"... We propose a new form of software transactional memory (STM) designed to support dynamicsized data structures, and we describe a novel nonblocking implementation. The nonblocking property we consider is obstructionfreedom. Obstructionfreedom is weaker than lockfreedom; as a result, it admits s ..."
Abstract

Cited by 432 (25 self)
 Add to MetaCart
substantially simpler and more efficient implementations. A novel feature of our obstructionfree STM implementation is its use of modular contention managers to ensure progress in practice. We illustrate the utility of our dynamic STM with a straightforward implementation of an obstructionfree redblack tree
A Study of Android Application Security.
, 2011
"... Abstract The fluidity of application markets complicate smartphone security. Although recent efforts have shed light on particular security issues, there remains little insight into broader security characteristics of smartphone applications. This paper seeks to better understand smartphone applica ..."
Abstract

Cited by 218 (10 self)
 Add to MetaCart
application security by studying 1,100 popular free Android applications. We introduce the ded decompiler, which recovers Android application source code directly from its installation image. We design and execute a horizontal study of smartphone applications based on static analysis of 21 million lines
Preliminary
, 2007
"... This paper addresses the globalization disinflation hypothesis from the perspective of a open economy neo keynesian framework. This hypothesis proposes that globalization has changed the longrun inflation process, resulting in a global disinflation. If true, it makes us wonder about the merit of c ..."
Abstract
 Add to MetaCart
, the use of a general equilibrium approach in which we can identify and isolate shocks and openness is a must. Globalization is however, a complex process. In this paper I explicitly model globalization just as an openness process. Simulation results suggest that as long as there is one distortion free
Preliminary
, 2005
"... This paper explores empirically the usefulness of credit default swap (CDS) prices as market indicators. The sample of reference entities consists of large, internationally active German banks and the observation period covers three years. By analysing the explanatory power of three risk sources, id ..."
Abstract
 Add to MetaCart
. Contrary to previous research for corporate bonds we find that CDS premia of German banks rise with an increasing risk–free interest rate, which may be explained by its impact on term transformation risk. We compare default probabilities, inferred from a tractable reduced form model for CDS spreads
Preliminaries Free Probability
, 2013
"... Let (M, ϕ) be a von Neumann algebra with a faithful state: noncommutative probability space. Elements X ∈ M are noncommutative random variables. Law of X, ϕX: C[t] 3 p(t) 7 → ϕ(p(X)). For an Ntuple X = (X1,...,XN), ϕX: C 〈t1,..., tN 〉 3 p(t1,..., tN) 7 → ϕ(p(X1,...,XN)). All random variables in t ..."
Abstract
 Add to MetaCart
in this talk will be selfadjoint and noncommutative. Brent Nelson (UCLA) Free monotone transport without a trace October 30, 2013 2 / 38 Preliminaries Free Probability Let (M, ϕ) be a von Neumann algebra with a faithful state: noncommutative probability space. Elements X ∈ M are noncommutative random
1. Preliminaries
"... V. Szemerédi’s regularity lemma The ‘regularity lemma ’ of Endre Szemerédi [5] roughly asserts that, for each ε> 0, there exists a number k such that the vertex set V of any graph G = (V, E) can be partitioned into at most k almost equalsized classes so that between almost any two classes, the e ..."
Abstract
 Add to MetaCart
, the edges are distributed almost homogeneously. Here almost depends on ε. We will make this precise and prove it in Section 2. First, some ‘εfree ’ preliminaries. Let G = (V, E) be a graph. For nonempty A, B ⊆ V, define (1) e(A, B): = number of adjacent pairs in A × B, d(A, B):= e(A, B)
1. Preliminaries
"... V. Szemerédi’s regularity lemma The ‘regularity lemma ’ of Endre Szemerédi [5] roughly asserts that, for each ε> 0, there exists a number k such that the vertex set V of any graph G = (V, E) can be partitioned into at most k almost equalsized classes so that between almost any two classes, the e ..."
Abstract
 Add to MetaCart
, the edges are distributed almost homogeneously. Here the meaning of almost depends on ε. We will make this precise and prove it in Section 2. First, some ‘εfree ’ preliminaries. Let G = (V, E) be a graph. For nonempty A, B ⊆ V, define (1) e(A, B): = number of adjacent pairs in A × B, d(A, B):= e(A, B)
Types for Dyadic Interaction
, 1993
"... We formulate a typed formalism for concurrency where types denote freely composable structure of dyadic interaction in the symmetric scheme. The resulting calculus is a typed reconstruction of name passing process calculi. Systems with both the explicit and implicit typing disciplines, where types f ..."
Abstract

Cited by 137 (11 self)
 Add to MetaCart
is studied, which fully characterises the typable terms in the set of untyped terms. It turns out that the name reference structure results in the deadlockfree property for a subset of terms with a certain regular structure, showing behavioural significance of the simple type discipline. 1 Introduction
Preliminary Draft
, 2004
"... Hong Kong has strong fundamentals. The most important ones are the rule of law upheld by an independent judiciary; free markets; an open government, a clean civil service; a level playing field for business; a dutyfree port; low taxes; a stable ..."
Abstract
 Add to MetaCart
Hong Kong has strong fundamentals. The most important ones are the rule of law upheld by an independent judiciary; free markets; an open government, a clean civil service; a level playing field for business; a dutyfree port; low taxes; a stable
Preliminary Matters
, 2010
"... 1.1 Purpose of the Service The Service is conducted by FOS and has been established as an independent forum to resolve Disputes between Applicants and Financial Services Providers. The Service is free of charge for Applicants. The costs ..."
Abstract
 Add to MetaCart
1.1 Purpose of the Service The Service is conducted by FOS and has been established as an independent forum to resolve Disputes between Applicants and Financial Services Providers. The Service is free of charge for Applicants. The costs
Results 1  10
of
2,956