Concept

Application software

Related publications (568)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Extensible Transactional Memory Testbed

Vincent Gramoli, Pascal Felber

Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradigm operated a complexity shift from the application programming to the TM prog ...

2010

Beyond isolation: research opportunities in declarative data-driven coordination

Christoph Koch

There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of courses, and busy professionals want to coordinate their schedules. These tas ...

Association for Computing Machinery2010

A tractable analytical model for large-scale congested protein synthesis networks

Michel Bierlaire, Carolina Osorio Pizano

This paper presents a finite capacity queueing network model to evaluate congestion in protein synthesis networks. These networks are modeled as single server bufferless queues in a tandem topology. The model approximates the marginal stationary distributi ...

2010

Collaborative Transportation Systems

We propose a new class of applications for Intelligent Transportation Systems (ITSs), called collaborative transportation applications that aim at solving transportation problems such as congestion and parking. Specifically, we define two applications: Sma ...

IEEE2010

Execution Synthesis: A Technique for Automated Software Debugging

George Candea, Cristian Zamfir

Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn into detectives searching for an explanation of how the program could have arrive ...

2010

Independent Faults in the Cloud

Rachid Guerraoui, Maysam Yabandeh

Byzantine fault tolerant (BFT) protocols are replication-based solutions to the problem of tolerating the arbitrary failures of software and hardware components. The essential assumption for replication is independence of failures. In this paper, we catego ...

2010

Development of Prototype UrbanSim Models

Michel Bierlaire

UrbanSim is an integrated transportation land-use model that has been under development since the late 1990s. It has received a significant amount of attention in the integrated modeling community. It is well known for its disaggregated approach. A number ...

2010

Revisiting the Edge, Ten Years On

Valérie Chavez, Paul Embrechts

When these lines are written, it is January 21, 2008, a further `Black Monday' on the international markets. Stock indices have fallen between 5 and 10%. Which statistical tools help in describing such events and may help in understanding the consequences? ...

2010

Automated Software Testing as a Service (TaaS)

George Candea, Cristian Zamfir, Stefan Bucur

This paper makes the case for TaaS - automated software testing as a cloud-based service. We present three kinds of TaaS: (1) a public certification service, akin to Underwriters Labs, that independently assesses the reliability, safety, and security of so ...

2010

Phantm: PHP Analyzer for Type Mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010