Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System

Author(s):  
Sheng-Wei Cheng ◽  
Jian-Jia Chen ◽  
Jan Reineke ◽  
Tei-Wei Kuo
2019 ◽  
Vol 42 ◽  
Author(s):  
Guido Gainotti

Abstract The target article carefully describes the memory system, centered on the temporal lobe that builds specific memory traces. It does not, however, mention the laterality effects that exist within this system. This commentary briefly surveys evidence showing that clear asymmetries exist within the temporal lobe structures subserving the core system and that the right temporal structures mainly underpin face familiarity feelings.


2017 ◽  
Vol 16 (4) ◽  
pp. 1-21 ◽  
Author(s):  
Tianyi Wang ◽  
Soamar Homsi ◽  
Linwei Niu ◽  
Shaolei Ren ◽  
Ou Bai ◽  
...  

1978 ◽  
Vol 12 (4) ◽  
pp. 67-73 ◽  
Author(s):  
Peter Bono ◽  
Margaret Polisher
Keyword(s):  

1978 ◽  
Vol 12 (4) ◽  
pp. 53-66 ◽  
Author(s):  
Gary Chappell ◽  
Peter Bono
Keyword(s):  

2001 ◽  
Vol 7 (4) ◽  
pp. 441-484 ◽  
Author(s):  
José Ferreirós

AbstractThis paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplars (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which First-Order Logic matured will be seen to have played a primary role in its shaping.Mathematical logic is what logic, through twenty-five centuries and a few transformations, has become today. (Jean van Heijenoort)


Sign in / Sign up

Export Citation Format

Share Document