Despite the significant body of results in real-time scheduling, many real world problems are
not easily supported. While algorithms such as Earliest Deadline First, Rate Monotonic, and …

Many embedded computing systems are distributed systems: communicating processes
executing on several CPUs/ASICs. This paper describes a performance analysis algorithm …

Many industrial applications with real-time demands are composed of mixed sets of tasks
with a variety of requirements. These can be in the form of standard timing constraints, such …

Embedded computer systems use both off-the-shelf microprocessors and application-
specific integrated circuits (ASICs) to implement specialized system functions. Examples …

In this paper, we discuss the design and analysis of polynomial time algorithms for two
problems associated with a linearly infeasible system of Unit Two Variable Per Inequality …

In this paper, we discuss a new combinatorial certifying algorithm for the problem of
checking linear feasibility in Unit Two Variable Per Inequality (UTVPI) constraints. A UTVPI …

system is a complex object containing a significant percentage of elec A tronics that interacts
with the Real World (physical environments, humans, etc.) through sensing and actuating …

In this paper, a new algorithm based on Set Inversion techniques and Modal Interval
Analysis is presented. This algorithm allows one to solve problems involving quantified …

Decision making needs to take an uncertain environment into account. Over the last
decades, robust optimization has emerged as a preeminent method to produce solutions …

The goal of wireless sensor networks is to collect sensing data on a specific region using
wireless communication. The sink node gathers all local sensing data, processes them, and …