Sciweavers

1377 search results - page 51 / 276
» Flit-Reservation Flow Control
Sort
View
ICFP
2007
ACM
14 years 2 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
ESTIMEDIA
2006
Springer
14 years 1 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer
MONET
2008
127views more  MONET 2008»
13 years 10 months ago
Provisioning of Parameterized Quality of Service in 802.11e Based Wireless Mesh Networks
There has been a growing interest in the use of wireless mesh networks. Today's wireless technology enables very high data rate up to hundreds of Megabits per second, which c...
Xiaowen Chu
MFCS
1998
Springer
14 years 2 months ago
Flow Logic for Imperative Objects
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
Flemming Nielson, Hanne Riis Nielson
CONEXT
2008
ACM
13 years 12 months ago
A priority-layered approach to transport for high bandwidth-delay product networks
High-speed organizational networks running over leased fiber-optic lines or VPNs suffer from the well-known limitations of TCP over long-fat pipes. High-performance protocols like...
Vidhyashankar Venkataraman, Paul Francis, Murali S...