Compilation of a City-Level & Four-Digit Industry Code MRIO Table Based on Firm-Level Data

An Empirical Analysis Based on Firm-level Data

cient Compilation of High - Level Data Parallel

We present a high-level parallel calculus for nested sequences, NSC, ooered as a possible theoretical \core" of an entire class of collection-oriented parallel languages. NSC is based on while-loops as opposed to general recursion. A formal, machine independent deenition of the parallel time complexity and the work complexity of programs in NSC is given. Our main results are: (1) We give a tran...

Human Resource Flow within Software Industry: A Firm-Level Investigation

In a knowledge-intensive industry such as information technology, human resource management plays a central role in the success of software firms. This study takes a firm-level analysis and examines the effects of the human resource inflows and outflows on software firm performance. Moreover, we investigate how the specific human capital variables (e.g. education, experience) embedded in the hu...

Proof-Directed De-compilation of Low-Level Code

We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on the idea of Curry-Howard isomorphism. This allows us to regard an executable code as a proof in intuitionistic propositional logic. As being a proof of intuitionistic logic, it can be translated to an equivalent proof of natural...

The Influence of Industry Growth and Firm Market Share on Firm-Level IT Value

Market-dominant firms traditionally have an advantage in growing markets because they operate with larger average plant sizes and are better able to reap the rewards of economies of scale. We present evidence that with information technology (IT), the effect is precisely the opposite: firms with less market power enjoy the benefits in a growing market. The influence of firm-level attributes on ...