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.
Implementation of intelligent and bio-inspired algorithms in industrial and real applications is arduous, time consuming and costly; in addition, many aspects of system from high level behavior of algorithm to energy consumption of targeted system must be ...
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 ...
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 ...
This article widens the scope of the cell-transmission model (CTM) to the modeling of urban traffic, which is dominated by intersection dynamics. The CTM has originally been proposed for freeways, and it is not immediately applicable to urban traffic for t ...
This paper explores the contribution of systems modeling to the design and analysis of viability in service systems. We apply a modeling framework called SEAM (Systemic Enterprise Architecture Method) to gain an understanding of how a service system mainta ...
Recent research has explored the principles of service system viability based on systems inquiry invoking perspectives from Systems Theory and Cybernetics in particular Stafford Beer’s viable systems model (VSM). However based on Banathy & Jenlink (2004), ...
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 ...
We present the Intelligent Application Oriented System (IANOS) resource broker models and internals. The aim of IANOS is to provide an understanding of and a solution to the problem of how to find the best resource for a given submitted application in orde ...
Symbolic execution is a powerful technique for analyzing program behavior, finding bugs, and generating tests, but suffers from severely limited scalability: the largest programs that can be symbolically executed today are on the order of thousands of line ...
Turing Lecture from the winners of the 2007 ACM A.M. Turing Award.In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly succes ...
