1580 search results - page 283 / 316 » Non-Interference Through Determinism |
ECBS
1996
IEEE
14 years 2 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...
SIGCOMM
1996
ACM
14 years 2 months ago
1996
ACM
World-Wide Web proxy servers that cache documents can potentially reduce three quantities: the number of requests that reach popular servers, the volume of network trac resulting ...
SIGCOMM
1996
ACM
14 years 2 months ago
1996
ACM
Mobile IP protocols allow mobile hosts to send and receive packets addressed with their home network IP address, regardless of the IP address of their current point of attachment ...
PCRCW
1997
Springer
14 years 2 months ago
1997
Springer
High performance portable and space-borne systems continue to demand increasing computation speeds while concurrently attempting to satisfy size, weight, and power constraints. As...
HICSS
1994
IEEE
14 years 2 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...