Sciweavers

1636 search results - page 281 / 328
» Type-Theoretic Functional Semantics
Sort
View
ICMCS
2000
IEEE
172views Multimedia» more  ICMCS 2000»
15 years 4 months ago
Multi Layer Video Object Database based on Interactive Annotation and its Application
As the use of applications employing video contents becomes widespread, it is crucial for representation systems to be able to handle video effectively and flexibly. In this pape...
Tomoyuki Yatabe, Hiroshi Kawasaki, Hiroshi Mo, Mas...
ICNP
2000
IEEE
15 years 4 months ago
TCP-Probing: Towards an Error Control Schema with Energy and Throughput Performance Gains
Today’s universal communications increasingly involve mobile and battery-powered devices (e.g. hand-held, laptop) over wired and wireless networks. Energy efficiency, as well as...
Vassilios Tsaoussidis, Hussein G. Badr
ICFP
1999
ACM
15 years 4 months ago
Flexible Type Analysis
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
Karl Crary, Stephanie Weirich
EUROMICRO
1999
IEEE
15 years 4 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
IWAN
1999
Springer
15 years 4 months ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu