5205 search results - page 59 / 1041 » Tilings and model theory |
CLUSTER
2004
IEEE
14 years 17 days ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
FMOODS
2008
13 years 10 months ago
2008
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
Lecture Notes
These notes cover several topics such as Interest Rate Calculations, More Details on Bond Conventions, Bond Portfolios, Basic Option Pricing, The Binomial Option Pricing Model, The...