popl.mpi-sws.org
Principles of Programming Languages (POPL)
Legal notice and imprint.
peerspective.mpi-sws.org
PeerSpective
Integrating social networks and web search. WHAT DOES PEERSPECTIVE DO? PeerSpective uses the shared interest between you and your friends to help guide Web search. HOW DOES PEERSPECTIVE WORK? PeerSpective works by indexing all web content you browse to, and then querying your friends' PeerSpective proxies when you run a Google search. HOW DOES PEERSPECTIVE FIND MY FRIENDS? PeerSpective is built on to of Skype, and talks only to your Skype contacts who are also running PeerSpective. Using Skype means you ...
peerreview.mpi-sws.org
Accountability for Distributed Systems
Accountability for Distributed Systems. Motivation: Faults in distributed systems. Nodes are faulty, or what the symptoms of the fault are. How can we deal with such a situation? There are three important problems we must solve:. Even if an administrator has diagnosed the problem correctly, he may not be able to get it fixed because the faulty nodes can be in another domain. In this case, he must convince the other administrators that the problem is on their side - even if they cannot observe the sym...
monarch.mpi-sws.org
Monarch: A tool for emulating TCP flows over the Internet
Monarch: A tool for emulating TCP flows over the Internet. Monarch is a tool that accurately emulates transport protocol flows from an end host under the experimenter's control to any other end host that responds to simple TCP, UDP or ICMP packet probes. Since many Internet hosts and routers respond to such probes, Monarch can evaluate transport protocols such as TCP Vegas, TCP Nice, and PCP over a large and diverse set of Internet paths. What is Monarch good for? How is Monarch used? To connect Monarch ...
hope2012.mpi-sws.org
HOPE 2012 :: The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects
September 9, 2012. ACM SIGPLAN Workshop on. Higher-Order Programming with Effects. The day before ICFP 2012. Is a new workshop. That is intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be informal. Consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. This 1st edition of HOPE is dedicated to John Reynolds, whose work is an inspiration to us all. Generat...
courses.mpi-sws.org
MPI-SWS Courses
Data Networks, Saarland University, Summer 2007. Foundations of Distributed Computing, Saarland University, Summer 2007. Advanced Topics in Distributed Computing, Saarland University, Winter 2007/08. Software Model Checking, Saarland University, Winter 2007/08. Operating Systems, Saarland University, Summer 2008. Typed Operational Reasoning, Saarland University, Winter 2008/09. Operating Systems, Saarland University, Summer 2009. Distributed Systems, Saarland University, Summer 2010.
bugassist.mpi-sws.org
Bug Assist A Tool for error localization in ANSI-C
A Tool for error localization in ANSI-C. Download the Tool and User Manual. This is the first release of ` Bug-Assist. It is still considered pre-alpha software (Friends and family release). A lot of features are missing. If you want support on any other architectures or enhancements or source code, please contact us through mail. The best way to use the tool is with the eclipse plugin as described in the user manual. The eclipse plugin is heavily inspired by the existing CBMC eclipse plugin. Restart the...
broadband.mpi-sws.org
MPI-SWS Broadband Access Networks Research
Internet acess network infrastructures, such as cable, DSL, and cellular broadband networks, are being widely deployed. Yet, very little is known publicly about the characteristics of access network deployments in the real world. Consequently, researchers and application developers do not understand how well their systems or protocols perform over access networks. Even customers of access ISPs are often not aware of the details of their network deployments. Glasnost: Bringing Transparency to the Internet.
bgp.mpi-sws.org
BGP Scalability Project Homepage @ MPI-SWS
BGP Scalability Project Homepage. Max Planck Institute for Software Systems. With the rapid development of the Internet, the Border Gateway Protocol (BGP) has been experiencing increasingly serious scaling problems, e.g., unmanageable RIB/FIB size explosion, and the unstable/inefficient/inflexible features of the IETF standardized route-reflection and confederation mechanisms. To solve these BGP scaling problems, we are proposing the following ideas:. Address-Based Route Reflection (ABRR). Is a "configur...
gitlab.mpi-sws.org
Sign in · GitLab
Username is already taken. Minimum length is 8 characters. Didn't receive a confirmation email? Request a new one. Sign in/ Sign up. Https:/ www.mpi-sws.org.