Sciweavers

3179 search results - page 149 / 636
» Applications of PCF Theory
Sort
View
CORR
1999
Springer
124views Education» more  CORR 1999»
13 years 9 months ago
An Algebraic Programming Style for Numerical Software and its Optimization
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
T. B. Dinesh, Magne Haveraaen, Jan Heering
TSMC
2008
125views more  TSMC 2008»
13 years 9 months ago
A Satisficing Approach to Aircraft Conflict Resolution
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
James K. Archibald, Jared C. Hill, N. A. Jepsen, W...
ENTCS
2011
131views more  ENTCS 2011»
13 years 5 months ago
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ā€˜Computational Complexity in Non-Turing Models of Computationā...
Ed Blakey
SIGMETRICS
2005
ACM
150views Hardware» more  SIGMETRICS 2005»
14 years 3 months ago
An analytical model for multi-tier internet services and its applications
- Since many Web applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a mode...
Bhuvan Urgaonkar, Giovanni Pacifici, Prashant J. S...
ECIS
2003
13 years 11 months ago
An empirical investigation of determinants to buy application services from ASPs
The Application Service Provider (ASP) is a pivotal point in the organization of information systems, since it brings up a new paradigm: ā€œmake, buy or rentā€. An ASP is a compa...
Vincenzo Morabito