Sciweavers

11172 search results - page 454 / 2235
» Testing Physical Systems
Sort
View
ETS
2006
IEEE
108views Hardware» more  ETS 2006»
16 years 29 days ago
A DFT Architecture for Asynchronous Networks-on-Chip
The Networks-on-Chip (NoCs) paradigm is emerging as a solution for the communication of SoCs. Many NoC architecture propositions are presented but few works on testing these netwo...
Xuan-Tu Tran, Jean Durupt, François Bertran...
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 10 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
OPODIS
2008
15 years 8 months ago
Deadline Monotonic Scheduling on Uniform Multiprocessors
The scheduling of sporadic task systems upon uniform multiprocessor platforms using global Deadline Monotonic algorithm is studied. A sufficient schedulability test is presented a...
Sanjoy K. Baruah, Joël Goossens
EUPROJECTS
2006
Springer
15 years 10 months ago
Human Computer Confluence
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of thi...
Alois Ferscha, Stefan Resmerita, Clemens Holzmann
3DPH
2009
135views Healthcare» more  3DPH 2009»
15 years 8 months ago
My Corporis Fabrica: A Unified Ontological, Geometrical and Mechanical View of Human Anatomy
A new anatomical database, My Corporis Fabrica (MyCF), is presented. It extends the reference anatomical ontology FMA (the Foundational Model of Anatomy) with the possibility to co...
Olivier Palombi, Guillaume Bousquet, David Jospin,...