Sciweavers

11376 search results - page 1877 / 2276
» Willow System Demonstration
Sort
View
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
16 years 1 days ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
MM
2000
ACM
123views Multimedia» more  MM 2000»
16 years 1 days ago
Mediacaptain - an interface for browsing streaming media
The increase of bandwidth and streaming technology has made video on the Web the current “killer-app” of the dot-com world. However, users still face many problems. Users have...
Florian Mueller
PADS
2000
ACM
16 years 1 days ago
Applying parallel discrete event simulation to network emulation
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
Rob Simmonds, Russell Bradford, Brian Unger
SC
2000
ACM
16 years 1 days ago
MPICH-GQ: Quality-of-Service for Message Passing Programs
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...
Alain J. Roy, Ian T. Foster, William Gropp, Nichol...
SC
2000
ACM
16 years 1 days ago
Dynamic Software Testing of MPI Applications with Umpire
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
Jeffrey S. Vetter, Bronis R. de Supinski
« Prev « First page 1877 / 2276 Last » Next »