A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A Multi-Rate Precision Timed Programming Language for Multi-Cores
2019
2019 Forum for Specification and Design Languages (FDL)
Preserved Fulltext
PREcision Timed (PRET) is a conceptual solution proposed in 2007 to address the ever increasing unpredictability of embedded processors, which results from features such as multi-level caches or deep pipelines. For many real-time systems, it is mandatory to compute a strict bound on the program's execution time. Yet, in general, computing a tight bound is extremely difficult. The rationale of PRET is to simplify both the programming language and the execution platform to allow precise execution
doi:10.1109/fdl.2019.8876950
dblp:conf/fdl/GiraultHJY19
fatcat:hi3a777wezb3fltl563ipzacbu
more »
... times to be easily computed. ForeC is a PRET programming language. It is a multithreaded variant of C with a synchronous execution semantics. ForeC programs are designed to be executed on multi-core processors, built around either PRET cores or classical cores. A drawback of ForeC is that programs are single rate, i.e., all reactions must be implemented to run at the fastest rate imposed by the environment. This represents a high overhead, both at design time and at run-time. In this paper, we propose a multi-rate version of ForeC to improve its practicality and usability for industrial acceptance. We detail the syntax and semantics of the ForeC language in the context of multi-rate applications and present an implementation on a PRET multi-core architecture. Both the languages and its implementation are illustrated over a robotic application.
A model-driven approach for embedded system prototyping and design
2014
2014 25nd IEEE International Symposium on Rapid System Prototyping
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Embedded System (ES) development complexity is increasing. This increase has several cumulative sources: some are directly related to constraints on the ES themselves (dependability, compute intensive, resource constraints) while other sources are related to the industrial context of their development (fast prototyping, early validation, parallelization of developments). Although several Model-Driven Engineering (MDE) processes have been proposed for ES development, most of them are not
doi:10.1109/rsp.2014.6966688
dblp:conf/rsp/HiliFDR14
fatcat:snfhfdwpzjblpcar3q4kk5577a
more »
... ly formalized. This has several drawbacks that prevent their use in prototyping where iterations need to be short and focused. Incomplete formalized processes tend to be sidestepped in these situations where quick results are expected to be obtained with limited effort. In this paper we propose a MDE-based process for ES development. This process precisely defines the development tasks and their impact on the models throughout development. In particular we define iterations width and depth for the process that allow for a fined-grained and consistent planning of developments. The short and well defined iterations characterized by the process reduce the gap between rapid prototyping, ad-hoc methods and regular development processes.
Innovative key features for mastering model complexity
2015
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The risks of innovative activities represent complex diversified concept. In order to successfully operate in risky environment, company employees need to posses deep comprehensive economic knowledge. The relevance of this paper is associated with the need to identify and manage the risks of company innovative activities as an effective process of creating a favorable economic and industrial environment for the organization, providing Russian companies to enter the innovative market. Nowadays,
doi:10.1145/2774225.2775439
dblp:conf/eics/HiliLDC15
fatcat:g5snuievxfdbjc4436ikhmqc3u
more »
... he importance of company innovative risk management is continuously increasing, as it has an influence on providing the enterprise leadership position, increasing its competitiveness in the domestic and international markets, as well as contributing to the economic and industrial potentials required to implement the strategy of innovative development of the country as a whole.
A Power Consumption Estimation Approach for Embedded Software Design Using Trace Analysis
2015
2015 41st Euromicro Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
With the explosion of advanced power control knobs such as dynamic voltage frequency scaling, mastering energy constraints in embedded systems is becoming challenging for software developers. Several power estimation techniques have been proposed over the past years, from electrical level to more abstract models such as SystemC/TLM. They offer various tradeoffs between performance and accuracy, but suffer from a number of shortcomings. They are expensive and time-consuming, requiring intricate
doi:10.1109/seaa.2015.34
dblp:conf/euromicro/AtitallahMHDG15
fatcat:jztvi5kd6na2dojk47gicmx3ou
more »
... odels of the architecture and finally, fail to be applied from the software developer perspective. In this paper, we propose a lightweight and cost-effective approach suitable for software developers. It relies on trace analysis and high-level modeling of architectures to perform quick and efficient power consumption estimations without loosing accuracy. This approach is fully supported by a tool and is validated using a simple thermal mitigation case study and checked against physical measurements. We show that, for our case study, the relative error between our tool and real values is 8% in average.
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages
2019
2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a new approach for the predictability and optimality of the inter-core communication and execution of tasks allocated on different cores of multicore architectures. Our approach is based on the execution of synchronous programs written in the ForeC programming language on deterministic architectures called PREcision Timed. The originality of the work resides in the time-triggered model of computation and communication that allows for a very precise control over the
doi:10.1109/rtcsa.2019.8864570
dblp:conf/rtcsa/HiliGJ19
fatcat:3bjl2hrccbb7jbew7j64kf3iqi
more »
... ad execution. Synchronization is done via configurable Time Division Multiple Access (TDMA) arbitrations where the optimal size and offset of the time slots are computed to reduce the inter-core synchronization costs. We implemented a robotic application and simulated it using MORSE, a robotic simulation environment. Results show that the model we propose guarantees time-predictable inter-core communication, the absence of concurrent accesses (without relying on hardware mechanisms), and allows for optimized execution throughput.
Model-level, platform-independent debugging in the context of the model-driven development of real-time systems
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Hili, and Juergen Dingel. 2017. ...
systems software; Software testing and debugging; KEYWORDS Model-based Debugging, Model-driven Development, UML-RT, Real-time and Embedded systems, MDD, MDE ACM Reference format: Mojtaba Bagherzadeh, Nicolas ...
doi:10.1145/3106237.3106278
dblp:conf/sigsoft/BagherzadehHD17
fatcat:dnjgphnsg5gq5hwporxlniwepa
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation
2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which runtime execution information can
doi:10.1145/2976767.2976781
fatcat:6zafdrrs4faqzkgqykfnglfs4a
more »
... e observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.
Ammonium salts are a reservoir of nitrogen on a cometary nucleus and possibly on some asteroids
2020
Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2003.06034v1 fatcat:lpinevqkpfelfhifg2wt6mtcxu
, Lydie Bonal, Andrea Raponi, Mauro Ciarniello, Batiste Rousseau, Sandra Potin, Olivier Brissaud, Laurène Flandinet, Gianrico Filacchione, Antoine Pommerol, Nicolas Thomas, David Kappel, Vito Mennella, ...
are a reservoir of nitrogen on a cometary nucleus and possibly on some asteroids Olivier Poch*, Istiqomah Istiqomah, Eric Quirico, Pierre Beck, Bernard Schmitt, Patrice Theulé, Alexandre Faure, Pierre Hily-Blant ...
doi:10.1126/science.aaw7462
pmid:32165559
fatcat:ofyjayxyajg47osdarhhzcm36a
Page 173 of Acta Apostolicae Sedis Vol. 10, Issue 4
[page]
1918
Acta Apostolicae Sedis
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Nicola Camera, dell’archidiocesi di Amalfi. 13 > » Mons. Nicola Emilio Massé, della diocesi di Troyes.
Prelati Domestici di S. S.:
22 ottobre 1917. Mons. ...
Alfonso Hili, della diocesi di Gozo. 13 > » Mons. Antonio F. Kaul, della diocesi di Harrisburg. 16 » » Mong. Edmondo Fitz-Maurice, dell’archidiocesi di Filadelfia. ~ » » Mons. ...
Page 94 of IEEE Transactions on Computers Vol. 52, Issue 1
[page]
2003
IEEE Transactions on Computers
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Grassmann Flavius Gruian Ricardo Gutierrez
H
Haldun Hadimioglu Joosun Hahn Anwar Hasan Kazumi Hatayama John Hayes
Mark Heinrich Sybille Hellebrand Joerg Henkel
Ted Herman Ahmad Hiasat Martin Hiller Sebastien Hily ...
Will Moore
Dave Morano Daniel Mosse Konstantinos Moundanos Samiha Mourad Frank Mueller Jaiwant Mulik Jean-Michel Muller Rory Mulvaney
IE TR
Joges Jorn | Marcc Matt f
N
Shaile Tarun Ashwi Albert Zainal Nicola ...
Page 185 of Journalism and Mass Communication Quarterly Vol. 7, Issue 2
[page]
1930
Journalism and Mass Communication Quarterly
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
New York: McGraw-Hili Book Company. 1930. xiiit+118 pp. $1.50.
For twenty years, says Mr. ...
The dates when the humanists improved upon these Carolingian minuscules and gave Nicolas Jenson and his contemporaries the models for their first Roman types would also have been welcomed. ...
Page 1201 of Mathematical Reviews Vol. 35, Issue 6
[page]
1968
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Nicolas, Sur l’ordre maximum d’un élément dans le groupe S, des permutations, I; Exp. 14, J. Fresnel, Nombres de Bernoulli et fonctions L p-adiques; Exp. 15, J.-P. ...
Hily, Espaces de Banach dans les corps ultramé- triques(*); Exp. 8, G. Rauzy, Fonctions entiéres prenant des valeurs entiéres; Exp. 9, F. ...
Page 384 of Opportunity, a Journal of Negro Life Vol. 8, Issue 12
[page]
1930
Opportunity, a Journal of Negro Life
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
McPeek
En Passant, by Allyn Hili
Exhibition, by Doris Kirkpatrick
Farewell to Song, by Heba Jannath
Faust, Henry, White to Black
Flight, by Langston Hughes
Flohr, Natalie, If You Were Flint
Garfield, Philip ...
.,
Things Insensible, by
A Requiem, by Karyl Vida Beauty, by Octavia Beatrice Wynbush Black Woman, by Nicolas Guillen, translated by Langston Hughes Aug., Brown, Sterling A., Strong Men Sept., Bruenn, ...
Page 592 of Science Vol. 22, Issue
[page]
1905
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Mr: Cuartes HiLi-Tout, Ethnological Survey of Canada: ‘ Heterogeneity of the Culture of the Selish Tribes.’ Discussed by Dixon, Goddard, C. Hart Merriam, Kroeber, Barrett.
Dr. C. ...
Kroever, University of California: ‘Exhibition of a Basket, now in the California Academy of Sciences, from the Extinct Indians of San Nicolas Island, California.’ Discussed by McLeod, Rust.
Mr. F. ...
Page 29 of Bulgarian Review Vol. 17, Issue
[page]
1977
Bulgarian Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
And it is not (Hily the separate individuals who are being erased from the national memory. ...
Dimitrov, Nicola Petkov, Kosta Lultchev and of some who were mice here, once'there like Kimon Gheorghiev and Damian Veltchev, represent as pditicians? ...
« Previous
Showing results 1 — 15 out of 253 results