1626 search results - page 105 / 326 » Subtyping with Power Types |
153
click to vote
ISPASS
2003
IEEE
15 years 9 months ago
2003
IEEE
The growth of business enterprises and the emergence of the Internet as a medium for data processing has led to a proliferation of applications that are server-centric. The power ...
134
click to vote
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
In this work, we characterize the performance of pico cell networks in presence of moving users. We model various traffic types between base-stations and mobiles as different typ...
146
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
121
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper describes the electronics and communication system of Odin, a novel heterogeneous modular robot made of links and joints. The electronics is divided into two...
143
click to vote
POPL
1996
ACM
15 years 8 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...