- Subscribe to this page:
- RSS
- Email Alert
Max Planck Institute for Software Systems
(15 results)-
White Papers
Towards Trusted Cloud Computing
May 27, 2009, 12:00am PDT
Cloud computing infrastructures enable companies to cut costs by outsourcing computations on-demand. However, clients of cloud computing services currently have no means of verifying the...
Provided by Max Planck Institute for Software Systems
-
White Papers
A Case for the Accountable Cloud
September 17, 2009, 12:00am PDT
For many companies, clouds are becoming an interesting alternative to a dedicated IT infrastructure. However, cloud computing also carries certain risks for both the customer and the cloud...
Provided by Max Planck Institute for Software Systems
-
White Papers
Pretty Good Packet Authentication
September 28, 2008, 12:00am PDT
Internet offenders have been constantly indulging in illegal and malicious online activities under disguise that either remain untraceable or are traced to the source address of innocent internet...
Provided by Max Planck Institute for Software Systems
-
White Papers
Flow Splitting With Fate Sharing in a Next Generation Transport Services Architecture
December 4, 2009, 12:00am PST
The challenges of optimizing end-to-end performance over diverse Internet paths has driven widespread adoption of in-path optimizers, which can destructively interfere with TCP's end-to-end...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Making Geo-Replicated Systems Fast as Possible, Consistent When Necessary
September 21, 2012, 12:00am PDT
Online services distribute and replicate state across geographically diverse data centers and direct user requests to the closest or least loaded site. While effectively ensuring low latency...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Distributed Key Generation in the Wild
July 4, 2012, 12:00am PDT
Distributed Key Generation (DKG) has been studied extensively in the cryptographic literature. However, it has never been examined outside of the synchronous setting, and the known DKG protocols...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Improved Analysis and Evaluation of Real-Time Semaphore Protocols for P-FP Scheduling
October 16, 2012, 12:00am PDT
Several suspension-based multiprocessor real-time locking protocols for Partitioned Fixed-Priority (P-FP) scheduling have been proposed in prior work. These protocols differ in key design choices...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
An Overview of Interrupt Accounting Techniques for Multiprocessor Real-Time Systems
May 28, 2010, 12:00am PDT
The importance of accounting for interrupts in multiprocessor real-time schedulability analysis is discussed and three interrupt accounting methods, namely quantum-centric, task-centric, and...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Virtually Exclusive Resources
December 1, 2012, 12:00am PST
Independence preservation, a desirable property in real-time locking protocols that isolates tasks from delays due to unrelated critical sections, is formalized. It is shown that independence...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Orchestrating the Deployment of Computations in the Cloud With Conductor
March 14, 2012, 12:00am PDT
When organizations move computation to the cloud, they must choose from a myriad of cloud services that can be used to outsource these jobs. The impact of this choice on price and performance is...
Provided by Max Planck Institute for Software Systems
-
White Papers
Subsumer-First: Steering Symbolic Reachability Analysis
May 7, 2009, 12:00am PDT
Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space when searching for proofs or...
Provided by Max Planck Institute for Software Systems
-
White Papers
Cardinality Abstraction for Declarative Networking Applications
April 20, 2009, 12:00am PDT
Declarative Networking is a recent, viable approach to make distributed programming easier, which is becoming increasingly popular in systems and networking community. It offers the programmer a...
Provided by Max Planck Institute for Software Systems
-
White Papers
Operational Semantics for Declarative Networking
April 2, 2009, 12:00am PDT
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer...
Provided by Max Planck Institute for Software Systems
-
White Papers
The Transitive Composability of Relation Transition Systems
January 17, 2012, 12:00am PST
Relation Transition Systems (RTSs) have recently been proposed as a foundation for reasoning effectively about program equivalence in higher-order imperative languages like ML. RTSs fruitfully...
Provided by Max Planck Institute for Software Systems
-
White Papers
Separation Logic in the Presence of Garbage Collection
April 4, 2011, 12:00am PDT
Separation logic has proven to be a highly effective tool for the verification of heap-manipulating programs. However, it has been applied almost exclusively in language settings where either...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Orchestrating the Deployment of Computations in the Cloud With Conductor
March 14, 2012, 12:00am PDT
When organizations move computation to the cloud, they must choose from a myriad of cloud services that can be used to outsource these jobs. The impact of this choice on price and performance is...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Virtually Exclusive Resources
December 1, 2012, 12:00am PST
Independence preservation, a desirable property in real-time locking protocols that isolates tasks from delays due to unrelated critical sections, is formalized. It is shown that independence...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
An Overview of Interrupt Accounting Techniques for Multiprocessor Real-Time Systems
May 28, 2010, 12:00am PDT
The importance of accounting for interrupts in multiprocessor real-time schedulability analysis is discussed and three interrupt accounting methods, namely quantum-centric, task-centric, and...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Improved Analysis and Evaluation of Real-Time Semaphore Protocols for P-FP Scheduling
October 16, 2012, 12:00am PDT
Several suspension-based multiprocessor real-time locking protocols for Partitioned Fixed-Priority (P-FP) scheduling have been proposed in prior work. These protocols differ in key design choices...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Distributed Key Generation in the Wild
July 4, 2012, 12:00am PDT
Distributed Key Generation (DKG) has been studied extensively in the cryptographic literature. However, it has never been examined outside of the synchronous setting, and the known DKG protocols...
Provided by Max Planck Institute for Software Systems
-
Whitepapers
Making Geo-Replicated Systems Fast as Possible, Consistent When Necessary
September 21, 2012, 12:00am PDT
Online services distribute and replicate state across geographically diverse data centers and direct user requests to the closest or least loaded site. While effectively ensuring low latency...
Provided by Max Planck Institute for Software Systems
-
White Papers
Separation Logic in the Presence of Garbage Collection
April 4, 2011, 12:00am PDT
Separation logic has proven to be a highly effective tool for the verification of heap-manipulating programs. However, it has been applied almost exclusively in language settings where either...
Provided by Max Planck Institute for Software Systems
-
White Papers
The Transitive Composability of Relation Transition Systems
January 17, 2012, 12:00am PST
Relation Transition Systems (RTSs) have recently been proposed as a foundation for reasoning effectively about program equivalence in higher-order imperative languages like ML. RTSs fruitfully...
Provided by Max Planck Institute for Software Systems
-
White Papers
Operational Semantics for Declarative Networking
April 2, 2009, 12:00am PDT
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer...
Provided by Max Planck Institute for Software Systems
-
White Papers
Cardinality Abstraction for Declarative Networking Applications
April 20, 2009, 12:00am PDT
Declarative Networking is a recent, viable approach to make distributed programming easier, which is becoming increasingly popular in systems and networking community. It offers the programmer a...
Provided by Max Planck Institute for Software Systems
-
White Papers
Subsumer-First: Steering Symbolic Reachability Analysis
May 7, 2009, 12:00am PDT
Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space when searching for proofs or...
Provided by Max Planck Institute for Software Systems
-
White Papers
Flow Splitting With Fate Sharing in a Next Generation Transport Services Architecture
December 4, 2009, 12:00am PST
The challenges of optimizing end-to-end performance over diverse Internet paths has driven widespread adoption of in-path optimizers, which can destructively interfere with TCP's end-to-end...
Provided by Max Planck Institute for Software Systems
-
White Papers
Pretty Good Packet Authentication
September 28, 2008, 12:00am PDT
Internet offenders have been constantly indulging in illegal and malicious online activities under disguise that either remain untraceable or are traced to the source address of innocent internet...
Provided by Max Planck Institute for Software Systems
-
White Papers
A Case for the Accountable Cloud
September 17, 2009, 12:00am PDT
For many companies, clouds are becoming an interesting alternative to a dedicated IT infrastructure. However, cloud computing also carries certain risks for both the customer and the cloud...
Provided by Max Planck Institute for Software Systems
-
White Papers
Towards Trusted Cloud Computing
May 27, 2009, 12:00am PDT
Cloud computing infrastructures enable companies to cut costs by outsourcing computations on-demand. However, clients of cloud computing services currently have no means of verifying the...
Provided by Max Planck Institute for Software Systems
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
