Publication

Remote Monitoring of Railway Equipment Using Internet Technologies

Publications associées (59)

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

Immediate Tracing

Valentin Aebi

This semester project report describes a prototype tracing tool that records the behavior of a Java program during its execution. It explains the two methods that were attempted to implement the tool, one using the Java debug interface, which gave poor res ...

2023

Fog Orchestration for Internet of Things Services

Tao Lin, Jie Xu

Large-scale Internet of Things (IoT) services such as healthcare, smart cities, and marine monitoring are pervasive in cyber-physical environments. These complex IoT services are increasingly composed of sensors, devices, and compute resources within fog c ...

Ieee Computer Soc2017

Towards a Principled Approach to Humanitarian Information and Communication Technology

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia, Adrian Christian Holzer

The humanitarian sector is entering in the network age. The explosion in access to new information and communication technology (ICT) like mobile phones, the internet, and social media, is changing the way people communicate in emergency situations. Howeve ...

ACM2017

Correct Transformation of High-Level Models into Time-Triggered Implementations

Simon Bliudze

A number of component-based frameworks have been proposed to tackle the complexity of the design of concurrent software and systems and, in particular, to allow modelling and simulation of critical embedded applications. Such design frameworks usually prov ...

2016

Les fins d'Internet

Boris Beaude

Nous assistons à la concomitance de la mondialisation de la politique et de la nationalisation d’Internet. La politique est en effet une œuvre magistrale, subtile et délicate par laquelle un monde devient commun. Elle organise la coexistence afin de rendre ...

Fyp2014

Le local à l'épreuve d'Internet

Boris Beaude

Internet incarne parfaitement la mondialisation. Puissante technique spatiale, Internet oeuvre en effet à rendre la distance non pertinente à l’échelle du Monde. Cette capacité de synchorisation sur de vastes étendues questionne les échelles intermédiaires ...

2013

Logiques de synchorisation, lieux réticulaires et lieux de savoir

Boris Beaude

Du point de vue des savoirs, Internet est peut-être ce que pouvait être une «ville phare» telle qu’Alexandrie, Bagdad, Paris ou Rome. Ces villes furent autant de lieux qui incarnaient différentes expériences historiques des savoirs, chacune étant emblémati ...

2013

Nowadays, Java is used in all types of embedded devices. For these memory-constrained systems, the automatic dynamicmemorymanager (Garbage Collector or GC) has been always a key factor in terms of the Java Virtual Machine (JVM) performance. Moreover, in cu ...

Elsevier2012

Widget-Based Approach for Remote Control Labs

Denis Gillet, Christophe Salzmann, Evgeny Bogdanov

The paper presents a novel approach to conduct laboratory experiments in relation with the Control class taught at EPFL. The existing laboratory interface built as a Java applet, which allows students to access experimentation devices locally or remotely, ...

2012

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

George Candea, Horatiu Jula, Silviu Andrica

Formally proving complex program properties is still considered impractical for systems with over a million lines of code (MLOC). We present iProve, an approach that enables the generation and verification of proofs for interesting program properties in la ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010