Sciweavers

2880 search results - page 63 / 576
» Types are calling conventions
Sort
View
ISIWI
2000
15 years 1 months ago
Der Autor im digitalen Medium - ein notwendiges Konstrukt?
This work shows the extent to which the Internet, with its value-added effects, network and interaction capabilites, changes the conventional understanding of the term ,,author&qu...
Stephan Werner
POPL
1993
ACM
15 years 4 months ago
Formal Parametric Polymorphism
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
Martín Abadi, Luca Cardelli, Pierre-Louis C...
ICSE
2005
IEEE-ACM
15 years 12 months ago
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving so
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
Cemal Yilmaz, Arvind S. Krishna, Atif M. Memon, Ad...
PERCOM
2007
ACM
15 years 11 months ago
Context Aware Routing of Enterprise User Communications
This paper develops a context aware framework to address the diverse communication needs of a modern enterprise. Such enterprises are characterized by workers in different locatio...
Munmun De Choudhury, Hari Sundaram, Ajita John, Do...
CVPR
2009
IEEE
15 years 6 months ago
Recovering Specular Surfaces Using Curved Line Images
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...
Yuanyuan Ding, Jingyi Yu, Peter Sturm