Sciweavers

2880 search results - page 43 / 576
» Types are calling conventions
Sort
View
ICFP
2007
ACM
16 years 4 months ago
A type system for recursive modules
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
Derek Dreyer
ECIS
2000
15 years 5 months ago
E-Channel Competition: A Strategic Approach to Electronic Commerce
Abstract-E-channel competition is the competition that conventional channels encounter from electronic channels such as the Internet, which have grown significantly in importance w...
Daniel Görsch, Mogens Kühn Pedersen
CORR
2004
Springer
120views Education» more  CORR 2004»
15 years 4 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
GIS
2009
ACM
15 years 9 months ago
Data structures and intersection algorithms for 3D spatial data types
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
Tao Chen, Markus Schneider
ICS
1995
Tsinghua U.
15 years 8 months ago
A Data Cache with Multiple Caching Strategies Tuned to Different Types of Locality
Current data cache organizations fail to deliver high performance in scalar processors for many vector applications. There are two main reasons for this loss of performance: the u...
Antonio González, Carlos Aliagas, Mateo Val...