15782 search results - page 3101 / 3157 » Network Optimization and Control |
ECBS
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
FM
1997
Springer
14 years 1 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
PDIS
1994
IEEE
14 years 1 months ago
1994
IEEE
Constructing scalable high-performance applications on commodity hardware running the Unix operating system is a problem that must be addressed in several application domains. We ...
EDCC
1994
Springer
14 years 1 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...
SIGIR
1993
ACM
14 years 1 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...