Sciweavers

17983 search results - page 118 / 3597
» Set Types and Applications
Sort
View
HOTNETS
2010
15 years 1 months ago
Using strongly typed networking to architect for tussle
Today's networks discriminate towards or against traffic for a wide range of reasons, and in response end users and their applications increasingly attempt to evade monitorin...
Chitra Muthukrishnan, Vern Paxson, Mark Allman, Ad...
POPL
2003
ACM
16 years 6 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
PLDI
1994
ACM
15 years 10 months ago
Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
Urs Hölzle, David Ungar
ECOOP
2000
Springer
15 years 10 months ago
Runtime Support for Type-Safe Dynamic Java Classes
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
Scott Malabarba, Raju Pandey, Jeff Gragg, Earl T. ...
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
16 years 13 days ago
Model Video Semantics with Constraints Considering Temporal Structure and Typed Events
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
Yu Wang, Lizhu Zhou, Jianyong Wang