Publication

Priority scheduling of distributed systems based on model checking

Publications associées (111)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Toward Interprocedural Pointer and Effect Analysis for Scala

Etienne Kneuss

Static program analysis techniques working on object-oriented languages require precise knowledge of the aliasing relation between variables. This knowledge is important to, among other things, understand the read and write effects of method calls on objec ...

2011

Quantitative Analysis for Authentication of Low-cost RFID Tags

Ioannis Paparrizos

Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative analysis for the low-cost Radio Frequency Identification (RFID) protocol proposed by Song and Mitchell. The anal ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2011

Knowledge based scheduling of distributed systems

Joseph Sifakis

Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems it is hard to find efficient implementations for priorities; because they express c ...

2010

Verso un'oggettività della bellezza. L'insegnamento dei Grigioni.

Stefano Zerbi, Luca Conti, Marco Svimbersky

Contemporary society is based on a perpetual evolution of personal opinions and likings. The transmission of knowledge is questioned, but if the education and teaching about a critical vision is considered an essential instrument, so the schools and the ma ...

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

Alterations of the 5 ' Untranslated Region of SLC16A12 Lead to Age-Related Cataract

PURPOSE. Knowledge of genetic factors predisposing to age-related cataract is very limited. The aim of this study was to identify DNA sequences that either lead to or predispose for this disease. ...

2010

From bench to bedside

Dominique Pioletti

Although we need to continue our efforts in basic sciences and research for the discovery of fundamental knowledge, we also need to focus on how this knowledge can improve human health. Often, it is not a single view or approach that will lead to discoveri ...

2010

Knowledge-Based Representation Of 3D Media

Alejandra Garcia Rojas Martinez

In recent years, 3D media have become more and more widespread and have been made available in numerous online repositories. A systematic and formal approach for representing and organizing shape-related information is needed to share 3D media, to communic ...

2010

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

Deployment of job priority mechanisms in the Italian Cloud of the ATLAS experiment

Alessandro Barchiesi, Simone Campana

An optimized use of the Grid computing resources in the ATLAS experiment requires the enforcement of a mechanism of job priorities and of resource sharing among the different activities inside the ATLAS VO. This mechanism has been implemented through the V ...

2010