Disjoint eager execution: an optimal form of speculative execution

1995 ◽  
Author(s):  
A.K. Uht ◽  
V. Sindagi ◽  
K. Hall
Keyword(s):  
Speculative Execution ◽  
Optimal Form

Socially Shared Regulation of Learning: A Review

2015 ◽  
Vol 20 (3) ◽  
pp. 190-203 ◽  
Author(s):  
Ernesto Panadero ◽  
Sanna Järvelä
Keyword(s):  
Empirical Evidence ◽  
Learning Theory ◽  
Qualitative Data ◽  
Social Regulation ◽  
Observation Data ◽  
Optimal Form ◽  
Self Regulated Learning ◽  
The Past ◽  
Recorded Observation ◽  
Socially Shared Regulation

Abstract. Socially shared regulation of learning (SSRL) has been recognized as a new and growing field in the framework of self-regulated learning theory in the past decade. In the present review, we examine the empirical evidence to support such a phenomenon. A total of 17 articles addressing SSRL were identified, 13 of which presented empirical evidence. Through a narrative review it could be concluded that there is enough data to maintain the existence of SSRL in comparison to other social regulation (e.g., co-regulation). It was found that most of the SSRL research has focused on characterizing phenomena through the use of mixed methods through qualitative data, mostly video-recorded observation data. Also, SSRL seems to contribute to students’ performance. Finally, the article discusses the need for the field to move forward, exploring the best conditions to promote SSRL, clarifying whether SSRL is always the optimal form of collaboration, and identifying more aspects of groups’ characteristics.

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 9-17
Author(s):  
Mohamed Younis ◽  
Grace Tsai ◽  
Thomas Marlowe ◽  
Alexander Stoyenko
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Speculative Execution ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Time Systems

Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy

2021 ◽  
Author(s):  
Rutvik Choudhary ◽  
Jiyong Yu ◽  
Christopher Fletcher ◽  
Adam Morrison
Keyword(s):  
Speculative Execution

Series expansion of Leray–Trudinger inequality

2021 ◽  
pp. 1-13
Author(s):  
Xiaomei Sun ◽  
Kaixiang Yu ◽  
Anqiang Zhu
Keyword(s):  
Series Expansion ◽  
Infinite Series ◽  
Hardy Inequality ◽  
Hardy’S Inequality ◽  
Optimal Form ◽  
Hardy's Inequality ◽  
Early Results ◽  
Trudinger Inequality

In this paper, we establish an infinite series expansion of Leray–Trudinger inequality, which is closely related with Hardy inequality and Moser Trudinger inequality. Our result extends early results obtained by Mallick and Tintarev [A. Mallick and C. Tintarev. An improved Leray-Trudinger inequality. Commun. Contemp. Math. 20 (2018), 17501034. OP 21] to the case with many logs. It should be pointed out that our result is about series expansion of Hardy inequality under the case $p=n$ , which case is not considered by Gkikas and Psaradakis in [K. T. Gkikas and G. Psaradakis. Optimal non-homogeneous improvements for the series expansion of Hardy's inequality. Commun. Contemp. Math. doi:10.1142/S0219199721500310]. However, we can't obtain the optimal form by our method.

scholarly journals Harmonizing Speculative and Non-Speculative Execution in Architectures for Ordered Parallelism

2018 ◽  
Author(s):  
Mark C. Jeffrey ◽  
Victor A. Ying ◽  
Suvinay Subramanian ◽  
Hyun Ryong Lee ◽  
Joel Emer ◽  
...  
Keyword(s):  
Speculative Execution

scholarly journals Is the Linear Modeling Technique Good Enough for Optimal Form Design? A Comparison of Quantitative Analysis Models

2012 ◽  
Vol 2012 ◽  
pp. 1-13 ◽  
Author(s):  
Yang-Cheng Lin ◽  
Chung-Hsing Yeh ◽  
Chen-Cheng Wang ◽  
Chun-Chun Wei
Keyword(s):  
Product Design ◽  
Design Process ◽  
Design Approach ◽  
Modeling Technique ◽  
Type I ◽  
Linear Modeling ◽  
Optimal Form ◽  
Product Image ◽  
Form Design ◽  
Product Forms

How to design highly reputable and hot-selling products is an essential issue in product design. Whether consumers choose a product depends largely on their perception of the product image. A consumer-oriented design approach presented in this paper helps product designers incorporate consumers’ perceptions of product forms in the design process. The consumer-oriented design approach uses quantification theory type I, grey prediction (the linear modeling technique), and neural networks (the nonlinear modeling technique) to determine the optimal form combination of product design for matching a given product image. An experimental study based on the concept of Kansei Engineering is conducted to collect numerical data for examining the relationship between consumers’ perception of product image and product form elements of personal digital assistants (PDAs). The result of performance comparison shows that the QTTI model is good enough to help product designers determine the optimal form combination of product design. Although the PDA form design is used as a case study, the approach is applicable to other consumer products with various design elements and product images. The approach provides an effective mechanism for facilitating the consumer-oriented product design process.

scholarly journals Keeping Conversation Rolling by Iraqi EFL University Learners

2019 ◽  
Vol 9 (2) ◽  
pp. 84
Author(s):  
Muayad Mingher Al-Shemmery ◽  
Hisham Adnan AlMumar ◽  
Dheyaa Al-Fatlawi
Keyword(s):  
Data Analysis ◽  
Diagnostic Test ◽  
College Of Education ◽  
Production Level ◽  
Test Administration ◽  
Efl Learners ◽  
Optimal Form ◽  
The Face

The present study sheds some light on the conversation as an optimal form of communication. Also, it tries to illustrate Iraqi EFL learners’ aptitude for producing conversation and specifying the errors types committed by them in its progression. To accomplish these purposes, it is hypothesized that the learners may face formidable problems in sharing their experiences with each other and are unable to keep a conversation going. In the face of such problems, a sample of (50) learners is selected to a diagnostic test administration. The subjects are at the Fourth year, Department of English, College of Education for Humanities, University of Babylon. Data analysis has proved that the leaners encounter more difficulty on the production level than the recognition one. This manifestation is manifested itself in the number of the learners’ correct responses as compared with their incorrect ones on both levels.

Sign in / Sign up

Export Citation Format

Share Document