Sciweavers

3328 search results - page 239 / 666
» On Plateaued Functions and Their Constructions
Sort
View
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 12 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
ICNP
2002
IEEE
15 years 11 months ago
A Theory of Window-Based Unicast Congestion Control
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
Nishanth R. Sastry, Simon S. Lam
IWSSD
2000
IEEE
15 years 11 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
BIRTHDAY
2000
Springer
15 years 11 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
ICIAP
1999
ACM
15 years 11 months ago
Facial Expression Morphing and Animation with Local Warping Methods
In this paper, we applied local warping techniques to construct a frame work of image-based morphing for facial expressions animation with low complexity. From the experience we o...
Daw-Tung Lin, Han Huang