Learn More
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time tasks and the timeliness ensuring concern when tasks are executed in parallel. This approach is based on formal aspects of our real-time tasks model and on the definition of the(More)
Nicotine is the primary psychoactive component of tobacco. Its reinforcing and addictive properties depend on nicotinic acetylcholine receptors (nAChRs) located within the mesolimbic axis originating in the ventral tegmental area (VTA). The roles and oligomeric assembly of subunit α4- and subunit α6-containing nAChRs in dopaminergic (DAergic) neurons are(More)
We present ΣC, a programming model and language for high performance embedded manycores. The programming model is based on process networks with non determinism extensions and process behavior specifications. The language itself extends C, with parallelism, composition and process abstractions. It is intended to support architecture independent, high-level(More)
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order to overcome these difficulties, by allowing processors to be fractionally allocated. We prove that these representations are equivalent to the standard representations when(More)