Sciweavers

258 search results - page 14 / 52
» Some Notes on Fine Computability
Sort
View

Lecture Notes
298views
16 years 8 months ago
Monetary Policy
These notes cover several topics such as Traditional Models of Monetary Policy, Microfoundations of Monetary Policy Models, Looking into Some Recent Models of Monetary Policy, Solv...
Paul Söderlind

Lecture Notes
445views
16 years 8 months ago
Macro 2
These notes cover several topics such as Money Demand (and some Supply), The Price of Money, Derivations of the Pricing Relations, Money and Sticky Prices: A First Look, Money in M...
Paul Söderlind
PLDI
2010
ACM
15 years 7 months ago
Type-preserving Compilation for End-to-end Verification of Security Enforcement
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
Juan Chen, Ravi Chugh, Nikhil Swamy
GCC
2005
Springer
15 years 3 months ago
Performance Analysis of Domain Decomposition Applications Using Unbalanced Strategies in Grid Environments
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
Beatriz Otero, José M. Cela, Rosa M. Badia,...
DAGSTUHL
2007
14 years 11 months ago
Programming self developing blob machines for spatial computing.
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
Frédéric Gruau, Christine Eisenbeis