5707 search results - page 748 / 1142 » Symbolic Simulation - Techniques and Applications |
234
Voted
EUROMICRO
1999
IEEE
15 years 12 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
183
click to vote
SIGCOMM
1999
ACM
15 years 12 months ago
1999
ACM
Streaming audio and video applications are becoming increasingly popular on the Internet, and the lack of effective congestion control in such applications is now a cause for sign...
190
click to vote
ICPPW
1999
IEEE
15 years 12 months ago
1999
IEEE
As group applications become more prevalent, efficient network utilization becomes a major concern. Multicast transmission may use network bandwidth more efficiently than multiple...
222
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper we propose the use of an optical network not only as the communication medium, but also as a system-wide cache for the shared data in a multiprocessor. More specifica...
208
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...