- Subscribe to this page:
- RSS
- Email Alert
IT University of Copenhagen
(37 results)-
White Papers
Compiling Spreadsheet-Defined Functions
June 30, 2009, 12:00am PDT
Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in...
Provided by IT University of Copenhagen
-
White Papers
Applications of Proc ESM in SAS 9.2
March 19, 2010, 12:00am PDT
In this paper the various facilities of Proc ESM in SAS 9.2 will be demonstrated using a dataset of 87789 registrations of the speed of passing cars on a highway near Copenhagen. Proc ESM (for...
Provided by University of Copenhagen
-
White Papers
Enhancing Interactive Web Based Applications
April 4, 2008, 12:00am PDT
Internet applications are fast becoming more complex and sophisticated. This leads to the increased need of support for complex interface designs. More receptive communication flow is also...
Provided by IT University of Copenhagen
-
White Papers
Editorial for the Special Issue on Qualitative Software Engineering Research
February 23, 2007, 12:00am PST
Almost twenty years have passed since the first qualitative research study in software engineering was published. Using qualitative methods and a qualitative analytical framework, Curtis, et al....
Provided by IT University of Copenhagen
-
White Papers
Solving Demand Versions of Interprocedural Analysis Problems
January 1, 2011, 12:00am PST
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g., The dataflow...
Provided by University of Copenhagen
-
White Papers
uFLIP: Understanding Flash IO Patterns
January 7, 2009, 12:00am PST
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before the authors can answer these...
Provided by University of Copenhagen
-
White Papers
Can Capital Income Taxes Survive? And Should They?
July 18, 2006, 12:00am PDT
The paper surveys some main results in the theory of capital income taxation in the open economy; reviews recent trends in international taxation, and discusses alternative blueprints for...
Provided by University of Copenhagen
-
White Papers
Currency Crises And Monetary Policy In An Economy With Credit Constraints: The No Interest Parity Case
May 15, 2008, 12:00am PDT
This paper revisits the currency crises model of Aghion, Bacchetta and Banerjee (2000, 2001, 2004), who show that if there exist nominal price rigidities and private sector credit constraints, and...
Provided by University of Copenhagen
-
White Papers
The Theory Of Optimal Taxation: New Developments And Policy Relevance
May 11, 2010, 12:00am PDT
The theory of optimal taxation has often been criticized for being of little practical policy relevance, due to a lack of robust theoretical results. This paper argues that recent advances in...
Provided by University of Copenhagen
-
White Papers
Optimal Growth When Environmental Quality Is A Research Asset
August 17, 2009, 12:00am PDT
If environmental quality positively affects the productivity of labor in R&D and pollution is caused by the use of a non-renewable resource, it is socially optimal to postpone extraction and to...
Provided by University of Copenhagen
-
White Papers
Tax Evasion And Swiss Bank Deposits
September 30, 2010, 12:00am PDT
Bank deposits in jurisdictions with banking secrecy constitute an effective tool to evade taxes on interest income. A recent EU reform reduces the scope for this type of tax evasion by introducing...
Provided by University of Copenhagen
-
White Papers
Late Budgets
April 1, 2010, 12:00am PDT
The budget forms the legal basis of government spending. If a budget is not in place at the beginning of the fiscal year, planning as well as current spending are jeopardized and government...
Provided by University of Copenhagen
-
White Papers
A New Data Layout For Set Intersection on GPUs
February 4, 2011, 12:00am PST
Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can, for some computational...
Provided by IT University of Copenhagen
-
White Papers
On the Efficiency of Fast RSA Variants in Modern Mobile Phones
January 6, 2010, 12:00am PST
Modern mobile phones are increasingly being used for more services that require modern security mechanisms such as the public-key cryptosystem RSA. It is, however, well-known that public-key...
Provided by University of Copenhagen
-
White Papers
Perfect Hashing for Data Management Applications
February 27, 2007, 12:00am PST
Perfect hash functions can potentially be used to compress data in connection with a variety of data management tasks. Though there has been considerable work on how to construct good perfect hash...
Provided by University of Copenhagen
-
White Papers
A Graphical Approach to Progress for Structured Communication in Web Services
October 28, 2010, 12:00am PDT
The authors investigate a graphical representation of session invocation interdependency in order to prove progress for the p-calculus with sessions under the usual session typing discipline. They...
Provided by University of Copenhagen
-
White Papers
Relational Parametricity for Computational Effects
August 9, 2009, 12:00am PDT
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relational...
Provided by University of Copenhagen
-
White Papers
Foreign Capital And Economic Development: Does Foreign Aid Increase FDI?
November 26, 2007, 12:00am PST
One of the main goals of increasing financial aid to the poorest regions is improving their capacity to attract more Foreign Direct Investments (FDI). The argument is typically built under the...
Provided by University of Copenhagen
-
White Papers
Entrepreneurship, Job Creation, And Wage Growth
January 9, 2009, 12:00am PST
This paper analyses the importance of entrepreneurs for job creation and wage growth. Relying on unique data that cover all establishments, firms and individuals in the Danish private sector, the...
Provided by University of Copenhagen
-
Software
BioFET-SIM 1.0.0 (Mobile)
April 22, 2011, 12:00am PDT
BioFET-SIM simulates the response of nano-wire based FET (Field Effect Transistors) bio-sensors (BioFET). BioFETs sense binding events at their surface by changing their conductance. BioFET-SIM...
Provided by Jensens Group, Department of Chemistry, University of Copenhagen
-
White Papers
Budget Consolidations In The Aftermath Of A Financial Crisis: Lessons From The Swedish Budget Consolidation 1994-1997
March 21, 2011, 12:00am PDT
The Expansionary Fiscal Contraction (EFC) hypothesis suggests that a major fiscal consolidation leads to an economic expansion. The authors test this hypothesis, and the implied non - linear...
Provided by University of Copenhagen
-
White Papers
Mote-Based Online Anomaly Detection Using Echo State Networks
July 13, 2009, 12:00am PDT
Sensor networks deployed for scientific data acquisition must inspect measurements for faults and events of interest. Doing so is crucial to ensure the relevance and correctness of the collected...
Provided by University of Copenhagen
-
White Papers
Determinacy, Stock Market Dynamics And Monetary Policy Inertia
November 26, 2008, 12:00am PST
This paper deals with the stability properties of an economy where the central bank is concerned with stock market developments. The authors introduce a Taylor rule reacting to stock price growth...
Provided by University of Copenhagen
-
White Papers
Fiscal Transparency And Procyclical Fiscal Policy
May 11, 2010, 12:00am PDT
This paper examines why fiscal policy is procyclical in developing as well as developed countries. The authors introduce the concept of fiscal transparency into a model of retrospective voting, in...
Provided by University of Copenhagen
-
White Papers
Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq
May 18, 2011, 12:00am PDT
The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they develop novel specification and proof...
Provided by IT University of Copenhagen
-
White Papers
Formalized Veri Cation of Snapshotable Trees: Separation and Sharing
November 21, 2011, 12:00am PST
The authors use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant....
Provided by IT University of Copenhagen
-
White Papers
A Concurrent Logical Relation
January 14, 2012, 12:00am PST
The authors present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with...
Provided by IT University of Copenhagen
-
White Papers
Views: Compositional Reasoning for Concurrent Programs
January 14, 2012, 12:00am PST
The authors present a framework for reasoning compositionally about concurrent programs. At its core is the notion of a view: an abstraction of the state that takes account of the possible...
Provided by IT University of Copenhagen
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010, 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by IT University of Copenhagen
-
White Papers
Logical Step-Indexed Logical Relations
May 29, 2009, 12:00am PDT
The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...
Provided by IT University of Copenhagen
-
White Papers
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
January 5, 2009, 12:00am PST
The authors present a realizability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty...
Provided by IT University of Copenhagen
-
White Papers
A Simple Model of Separation Logic for Higher-Order Store
April 23, 2008, 12:00am PDT
Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper,...
Provided by IT University of Copenhagen
-
White Papers
Programming Services With Correlation Sets
September 1, 2011, 12:00am PDT
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. The authors...
Provided by IT University of Copenhagen
-
White Papers
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
August 12, 2010, 12:00am PDT
The authors present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal...
Provided by IT University of Copenhagen
-
White Papers
Guided Development With Multiple Domain-Specific Languages
June 28, 2007, 12:00am PDT
The authors study the Apache Open For Business (OFBiz), an industrial-strength platform for enterprise applications. OFBiz is an example of a substantial project using model-driven development...
Provided by IT University of Copenhagen
-
White Papers
Programming Language Concepts for Software Developers
May 18, 2008, 12:00am PDT
This note describes and motivates the current plans for an undergraduate course on programming language concepts for software development students. The paper describes the competences one expects...
Provided by IT University of Copenhagen
-
White Papers
Automating the Porting of Linux to the VirtualLogix Hypervisor Using Semantic Patches
December 26, 2007, 12:00am PST
Virtualization is a promising technology for running multiple Operating Systems (OS's) on a single processor. Preparing an OS for use with virtualization, however, involves making some changes to...
Provided by University of Copenhagen
-
White Papers
Guided Development With Multiple Domain-Specific Languages
June 28, 2007, 12:00am PDT
The authors study the Apache Open For Business (OFBiz), an industrial-strength platform for enterprise applications. OFBiz is an example of a substantial project using model-driven development...
Provided by IT University of Copenhagen
-
White Papers
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
August 12, 2010, 12:00am PDT
The authors present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal...
Provided by IT University of Copenhagen
-
White Papers
Programming Services With Correlation Sets
September 1, 2011, 12:00am PDT
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. The authors...
Provided by IT University of Copenhagen
-
White Papers
A Simple Model of Separation Logic for Higher-Order Store
April 23, 2008, 12:00am PDT
Separation logic is a Hoare-style logic for reasoning about pointer-manipulating programs. Its core ideas have recently been extended from low-level to richer, high-level languages. In this paper,...
Provided by IT University of Copenhagen
-
White Papers
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
January 5, 2009, 12:00am PST
The authors present a realizability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty...
Provided by IT University of Copenhagen
-
White Papers
Logical Step-Indexed Logical Relations
May 29, 2009, 12:00am PDT
The authors show how to reason about "Step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially to...
Provided by IT University of Copenhagen
-
White Papers
A Step-Indexed Kripke Model of Hidden State Via Recursive Properties on Recursively Defined Metric Spaces
July 13, 2010, 12:00am PDT
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the...
Provided by IT University of Copenhagen
-
White Papers
Views: Compositional Reasoning for Concurrent Programs
January 14, 2012, 12:00am PST
The authors present a framework for reasoning compositionally about concurrent programs. At its core is the notion of a view: an abstraction of the state that takes account of the possible...
Provided by IT University of Copenhagen
-
White Papers
A Concurrent Logical Relation
January 14, 2012, 12:00am PST
The authors present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with...
Provided by IT University of Copenhagen
-
White Papers
Formalized Veri Cation of Snapshotable Trees: Separation and Sharing
November 21, 2011, 12:00am PST
The authors use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant....
Provided by IT University of Copenhagen
-
White Papers
Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq
May 18, 2011, 12:00am PDT
The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they develop novel specification and proof...
Provided by IT University of Copenhagen
-
White Papers
Fiscal Transparency And Procyclical Fiscal Policy
May 11, 2010, 12:00am PDT
This paper examines why fiscal policy is procyclical in developing as well as developed countries. The authors introduce the concept of fiscal transparency into a model of retrospective voting, in...
Provided by University of Copenhagen
-
White Papers
Determinacy, Stock Market Dynamics And Monetary Policy Inertia
November 26, 2008, 12:00am PST
This paper deals with the stability properties of an economy where the central bank is concerned with stock market developments. The authors introduce a Taylor rule reacting to stock price growth...
Provided by University of Copenhagen
-
White Papers
Mote-Based Online Anomaly Detection Using Echo State Networks
July 13, 2009, 12:00am PDT
Sensor networks deployed for scientific data acquisition must inspect measurements for faults and events of interest. Doing so is crucial to ensure the relevance and correctness of the collected...
Provided by University of Copenhagen
-
White Papers
Budget Consolidations In The Aftermath Of A Financial Crisis: Lessons From The Swedish Budget Consolidation 1994-1997
March 21, 2011, 12:00am PDT
The Expansionary Fiscal Contraction (EFC) hypothesis suggests that a major fiscal consolidation leads to an economic expansion. The authors test this hypothesis, and the implied non - linear...
Provided by University of Copenhagen
-
Software
BioFET-SIM 1.0.0 (Mobile)
April 22, 2011, 12:00am PDT
BioFET-SIM simulates the response of nano-wire based FET (Field Effect Transistors) bio-sensors (BioFET). BioFETs sense binding events at their surface by changing their conductance. BioFET-SIM...
Provided by Jensens Group, Department of Chemistry, University of Copenhagen
-
White Papers
Entrepreneurship, Job Creation, And Wage Growth
January 9, 2009, 12:00am PST
This paper analyses the importance of entrepreneurs for job creation and wage growth. Relying on unique data that cover all establishments, firms and individuals in the Danish private sector, the...
Provided by University of Copenhagen
-
White Papers
Foreign Capital And Economic Development: Does Foreign Aid Increase FDI?
November 26, 2007, 12:00am PST
One of the main goals of increasing financial aid to the poorest regions is improving their capacity to attract more Foreign Direct Investments (FDI). The argument is typically built under the...
Provided by University of Copenhagen
-
White Papers
Relational Parametricity for Computational Effects
August 9, 2009, 12:00am PDT
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relational...
Provided by University of Copenhagen
-
White Papers
A Graphical Approach to Progress for Structured Communication in Web Services
October 28, 2010, 12:00am PDT
The authors investigate a graphical representation of session invocation interdependency in order to prove progress for the p-calculus with sessions under the usual session typing discipline. They...
Provided by University of Copenhagen
-
White Papers
Perfect Hashing for Data Management Applications
February 27, 2007, 12:00am PST
Perfect hash functions can potentially be used to compress data in connection with a variety of data management tasks. Though there has been considerable work on how to construct good perfect hash...
Provided by University of Copenhagen
-
White Papers
On the Efficiency of Fast RSA Variants in Modern Mobile Phones
January 6, 2010, 12:00am PST
Modern mobile phones are increasingly being used for more services that require modern security mechanisms such as the public-key cryptosystem RSA. It is, however, well-known that public-key...
Provided by University of Copenhagen
-
White Papers
A New Data Layout For Set Intersection on GPUs
February 4, 2011, 12:00am PST
Set intersection is the core in a variety of problems, e.g. frequent itemset mining and sparse boolean matrix multiplication. It is well-known that large speed gains can, for some computational...
Provided by IT University of Copenhagen
-
White Papers
Late Budgets
April 1, 2010, 12:00am PDT
The budget forms the legal basis of government spending. If a budget is not in place at the beginning of the fiscal year, planning as well as current spending are jeopardized and government...
Provided by University of Copenhagen
-
White Papers
Tax Evasion And Swiss Bank Deposits
September 30, 2010, 12:00am PDT
Bank deposits in jurisdictions with banking secrecy constitute an effective tool to evade taxes on interest income. A recent EU reform reduces the scope for this type of tax evasion by introducing...
Provided by University of Copenhagen
-
White Papers
Optimal Growth When Environmental Quality Is A Research Asset
August 17, 2009, 12:00am PDT
If environmental quality positively affects the productivity of labor in R&D and pollution is caused by the use of a non-renewable resource, it is socially optimal to postpone extraction and to...
Provided by University of Copenhagen
-
White Papers
The Theory Of Optimal Taxation: New Developments And Policy Relevance
May 11, 2010, 12:00am PDT
The theory of optimal taxation has often been criticized for being of little practical policy relevance, due to a lack of robust theoretical results. This paper argues that recent advances in...
Provided by University of Copenhagen
-
White Papers
Currency Crises And Monetary Policy In An Economy With Credit Constraints: The No Interest Parity Case
May 15, 2008, 12:00am PDT
This paper revisits the currency crises model of Aghion, Bacchetta and Banerjee (2000, 2001, 2004), who show that if there exist nominal price rigidities and private sector credit constraints, and...
Provided by University of Copenhagen
-
White Papers
Can Capital Income Taxes Survive? And Should They?
July 18, 2006, 12:00am PDT
The paper surveys some main results in the theory of capital income taxation in the open economy; reviews recent trends in international taxation, and discusses alternative blueprints for...
Provided by University of Copenhagen
-
White Papers
uFLIP: Understanding Flash IO Patterns
January 7, 2009, 12:00am PST
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before the authors can answer these...
Provided by University of Copenhagen
-
White Papers
Solving Demand Versions of Interprocedural Analysis Problems
January 1, 2011, 12:00am PST
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g., The dataflow...
Provided by University of Copenhagen
-
White Papers
Editorial for the Special Issue on Qualitative Software Engineering Research
February 23, 2007, 12:00am PST
Almost twenty years have passed since the first qualitative research study in software engineering was published. Using qualitative methods and a qualitative analytical framework, Curtis, et al....
Provided by IT University of Copenhagen
-
White Papers
Enhancing Interactive Web Based Applications
April 4, 2008, 12:00am PDT
Internet applications are fast becoming more complex and sophisticated. This leads to the increased need of support for complex interface designs. More receptive communication flow is also...
Provided by IT University of Copenhagen
-
White Papers
Applications of Proc ESM in SAS 9.2
March 19, 2010, 12:00am PDT
In this paper the various facilities of Proc ESM in SAS 9.2 will be demonstrated using a dataset of 87789 registrations of the speed of passing cars on a highway near Copenhagen. Proc ESM (for...
Provided by University of Copenhagen
-
White Papers
Compiling Spreadsheet-Defined Functions
June 30, 2009, 12:00am PDT
Spreadsheets are ubiquitous end-user programming tools, but lack even the simplest abstraction mechanism: The ability to encapsulate a computation as a function. This paper presents a solution in...
Provided by IT University of Copenhagen
-
White Papers
Automating the Porting of Linux to the VirtualLogix Hypervisor Using Semantic Patches
December 26, 2007, 12:00am PST
Virtualization is a promising technology for running multiple Operating Systems (OS's) on a single processor. Preparing an OS for use with virtualization, however, involves making some changes to...
Provided by University of Copenhagen
-
White Papers
Programming Language Concepts for Software Developers
May 18, 2008, 12:00am PDT
This note describes and motivates the current plans for an undergraduate course on programming language concepts for software development students. The paper describes the competences one expects...
Provided by IT University of Copenhagen
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
