Sciweavers

2583 search results - page 282 / 517
» Compiling for stream processing
Sort
View
IADT
1998
149views more  IADT 1998»
15 years 8 months ago
Transparent Integration of Continuous Media Support into a Multimedia DBMS
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
Silvia Hollfelder, Florian Schmidt, Matthias Hemmj...
MASCOTS
2000
15 years 8 months ago
The synTraff Suite of Traffic Modeling Toolkits
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
Ram Balakrishnan, Carey L. Williamson
IJCAI
1989
15 years 7 months ago
Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
Nikos Drakos
CCE
2006
15 years 6 months ago
Design of heat exchanger networks using randomized algorithm
A randomized algorithm with stream splitting for design of heat exchanger networks is presented in this work. The algorithm has provisions for splitting any one of the process str...
Ankur Pariyani, Abhigyan Gupta, Pallab Ghosh
ESOP
2001
Springer
15 years 11 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen