Sciweavers

1982 search results - page 230 / 397
» New Products
Sort
View
ICDCS
2008
IEEE
16 years 1 months ago
Crystal: An Emulation Framework for Practical Peer-to-Peer Multimedia Streaming Systems
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
Mea Wang, Hassan Shojania, Baochun Li
MEMOCODE
2008
IEEE
16 years 1 months ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot
AGILEDC
2007
IEEE
16 years 1 months ago
Agile Architecture - Changing Application Servers
Some projects are simply too big to finish on the release schedule that you want to maintain. Rally’s agile engineering team delivered a very disruptive architectural change las...
Veljko Krunic
IPPS
2007
IEEE
16 years 29 days ago
Base Operating System Provisioning and Bringup for a Commercial Supercomputer
Commercial Scale-Out is a new research project at IBM Research. Its main goal is to investigate and develop technologies for the use of large scale parallelism in commercial appli...
David Daly, Jong Hyuk Choi, José E. Moreira...
IPPS
2007
IEEE
16 years 29 days ago
Experiments with a Software Component Enabling NetSolve with Direct Communications in a Non-Intrusive and Incremental Way
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
Xin Zuo, Alexey L. Lastovetsky