15 Hits in 8.9 sec

Analysis of preemptively scheduled hard real-time systems [article]

Sebastian Altmeyer, Universität Des Saarlandes, Universität Des Saarlandes
In this thesis, we present a formal definition of the cache-related preemption delay and determine the applicability and the limitations of a separate CRPD computation.  ...  The additional execution time due to these reloads, called cache-related preemption delay (CRPD), may substantially prolong a task's execution time and strongly influence the system's performance.  ...  . • Sebastian Altmeyer and Claire Maiza Burguière. Cache-related preemption delay via useful cache blocks: Survey and redefinition. J. Syst.  ... 
doi:10.22028/d291-26495 fatcat:thsyvp3gdree5orgmauscfqtqu

OASIcs, Volume 57, WCET'17, Complete Volume [article]

Jan Reineke
We are very grateful to Peter Puschner and TACLe summer school for the inspiration and provided knowledge which helped us to pursue this line of research.  ...  We wish to thank Mathieu Serrurier for patiently sharing with us bits of its expertise in machine learning. Acknowledgements.  ...  However, the cache-related preemption delay (CRPD) is often the largest part of the preemption-related overhead [3] , and it denotes the time that is needed for reloading the cache lines evicted by the  ... 
doi:10.4230/oasics.wcet.2017 fatcat:og6ez4wyovho3fy2sewsoqixqu

Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems

Jan C. Kleinsorge, Technische Universität Dortmund, Technische Universität Dortmund
Specifically, we discuss, on the basis of a precise cache analysis, how existing metrics to bound cache-related preemption delay (CRPD) can be derived from cache representation without separate analyses  ...  , and suggest optimizations to further reduce analysis complexity and to increase accuracy.  ...  Bounding Cache-related Preemption Delay In this chapter we resume our discussion on bounding cache-related preemption delay.  ... 
doi:10.17877/de290r-16409 fatcat:j4ln2x56trbyjgpyw2bopqfo6q

Timing model derivation : static analysis of hardware description languages [article]

Marc Schlickling, Universität Des Saarlandes, Universität Des Saarlandes
Dependencies between processes (via signals) enforce reactivation of certain processes, which induces delta-delays into a simulation.  ...  So, the implementation first checks the edge type, and then tries to evaluate the expression of the last statement of the source basic block using the incoming data-flow value (accessed via dfi_statement_get_pre  ...  Using the enhanced transfer functions results in an improved prediction (or reconstruction) of a program's flow and control dependencies.  ... 
doi:10.22028/d291-26417 fatcat:drq34w6hzzc5hhogv6ij7ze33i

Hardware/Software Design of Dynamic Real-Time Schedulers for Embedded Multiprocessor Systems

Primiano <1986> Tucci, Antonio Corradi
In the latter case, this work introduces a scheduling accelerator, which offloads most of the scheduling operations to the hardware and exhibits extremely low scheduling jitter.  ...  framework, originally designed for symmetric multiprocessors, have been further extended first to asymmetric ones, which are subjected to major restrictions such as the lack of support for task migrations, and  ...  Thus if P1 stores to a memory block present in both the caches of P1 and P2, P2's cache can hold a potentially stale value.  ... 
doi:10.6092/unibo/amsdottorato/5594 fatcat:prerpsgocfcu3ccjismfneefxy

OASIcs, Volume 6, WCET'07, Complete Volume [article]

Christine Rochange
Especially, they would like to thank Niklas Holsti and Albrecht Kadlec for their many and very detailed comments, which helped to clarify and improve the presentation of this paper.  ...  The authors greatfully acknowledge the helpful comments of the anonymous referees and the feedback of the participants at the WCET'07 workshop.  ...  redefinitions of x are made between d and e.  ... 
doi:10.4230/oasics.wcet.2007 fatcat:unrcu7hn7bbyhi4vzom4ux3oea

Musical Score Following and Audio Alignment [article]

Lin Hao Lee
2022 arXiv   pre-print
Real-time tracking of the position of a musical performance on a musical score, i.e. score following, can be useful in music practice, performance and production.  ...  implemented; it is shown that this CQT-based approach consistently and significantly outperforms a commonly used FFT-based approach in extracting audio features for score following.  ...  Naylor, for his invaluable guidance and suggestions. It was Professor Naylor who first suggested this project, and he helped me immensely throughout the project.  ... 
arXiv:2205.03247v1 fatcat:oqpzybu66bfcvklidhoz4k3qca

ADVCOMP 2010 Industry Liaison Chairs ADVCOMP 2010 Technical Program Committee

Wolfgang Gentzsch, Pascal Lorenz, Oana Dini, Flavio Oquendo, Jameleddine Hassine, Helmut Reiser, Supercomputing Centre, Lrz) -Garching, Germany Xu, Flavio Oquendo, Jameleddine Hassine, Helmut Reiser (+64 others)
Foreword The Fourth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2010   unpublished
With the current computing software, hardware and distributed platforms effective use of advanced computing techniques is more achievable.  ...  a multi-track event covering a large spectrum of topics related to advanced engineering computing and applications in sciences.  ...  The authors wish to thank all their partners for providing the testcases and for many fruitful discussions (  ... 

Objects in Oz [article]

Martin Henz, Universität Des Saarlandes, Universität Des Saarlandes
We examine the impact of concurrency on the design of an object system and explore the use of objects in concurrent programming.  ...  Object-oriented programming is another paradigm that provides a set of concepts useful in software practice.  ...  Object-based Programming The term "object-oriented programming" is commonly used for languages that describe objects by classes which are related via inheritance.  ... 
doi:10.22028/d291-25701 fatcat:yloheojakrgwjhzrbvcp6typ2q

Democracy and Domination in the Law of Workplace Cooperation: From Bureaucratic to Flexible Production

Mark Barenberg
1994 Columbia Law Review  
caches, routine use of "labor spies" planted in workforces to identify and chill pro-union sentiment, and police enforcement of increasing numbers of court injunctions against collective activity in the  ...  productivity-enhancing cooperation via increased bargaining power.  ...  leaders and union coordinators used a problem-solving system that encouraged shopfloor consultation and consensus-building.  ... 
doi:10.2307/1123248 fatcat:6i5d2v4dpbgwzotfghvjn6t54e

Learning Race and Ethnicity: Youth and Digital Media

Barbara Crow
2009 Information, Communication & Society  
In the case of learning, digital media are part of the redefinition and broadening of existing boundaries of practice and our understanding of what learning means.  ...  The shape and uses of digital media are still very much in flux, and this book series seeks to be part of the definition of our sociotechnical future.  ...  They are intended solely to label the Korean players who are WOA (Way Out of Area) and are annoying to the point of spoiling the game for countless innocent Western players whom the US West, US East, and  ... 
doi:10.1080/13691180802552908 fatcat:f2tko4i24fcc5nxrcgcua4mtju

Instream Flow Protection in the West

Lawrence J. MacDonnell
1993 Social Science Research Network  
Corps of Engineers, enabled Ecology's Central Regional Office to make operational decisions to regulate junior water uses for minimum flow protection. 20-7 Sept. Oct. Nov. Dec.  ...  Initial Enforcement Efforts Enforcement of instream flow conditions was not actively undertaken until 1985 due to the relatively small number of conditioned permits and rights and staff and equipment limitations  ...  Daubert and Young u examined the contribution of streamflows to recreation benefits on Colorado's Cache la Poudre River.  ... 
doi:10.2139/ssrn.2694244 fatcat:f23hwe5wdrhxzapjhwozoygfea

Compositional behaviour and reliability models for adaptive component-based architectures

Pedro Fonseca Rodrigues, Emil Lupu, Morris Sloman, Fundacao Para A Ciencia E A Tecnologia
Systems should therefore be designed to self-adapt in response to environment changes, which requires the use of on-line models and analysis.  ...  We further show how reliability analysis based on PCA models can be used to perform architectural adaptation on distributed component-based systems and evaluate the computational cost of decentralised  ...  Both clients access the information related to customers, accounts, and transactions via the following Enterprise Java Beans (EJBs). CHAPTER 6.  ... 
doi:10.25560/26896 fatcat:to5svfnx3na2tmgjv3imj4owva

Lossin_columbia_0054D_16068.pdf [article]

up to 160 acres of surveyed land for $1.25 per acre under the Preemption Act of 1841.  ...  westward expansion via the Homestead Act (1862) and railroad subsidies.  ...  He is submitted to a physical and intellectual examination more searching than was the chattel slave when sold from the auction block.  ... 
doi:10.7916/d8-zaxg-6d15 fatcat:ntqdlbdzdjgafauebs2p22x6k4

De la guerre contre le terrorisme à la conquête impériale des états défaillants: une perspective néogramscienne de l'impérialisme américain en Côte d'Ivoire [2001-2010]

Mathieu Adjagbe, Université D'Ottawa / University Of Ottawa, Université D'Ottawa / University Of Ottawa
This dissertation on American imperialism toward Côte d'Ivoire challenges mainstream theories in International Relations.  ...  The United States' Government implements Peace and security, Investing in People, Governing Justly and Democratically and People-to-People.  ...  Kansteiner a requis Eucom survey and assessment teams (ESAT) qui a raccompagné le Président élu à Abidjan le 20 septembre.  ... 
doi:10.20381/ruor-3570 fatcat:hyi4tdxjvnerni5hpkcrijldga