| 1. |
- Lisper, Björn, et al.
(författare)
-
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code
- 2010
-
Ingår i: Lecture Notes in Computer Science, vol. 6416. - Berlin, Heidelberg : Springer. - 9783642165603 ; , s. 449-463
-
Bokkapitel (refereegranskat)abstract
- Code-level timing analysis, such as Worst-Case Execution Time (WCET) analysis, takes place at the binary level. However, much information that is important for the analysis, such as constraints on possible program flows, are easier to derive at the source code level since this code contains much more information. Therefore, different source-level analyses can provide valuable support for timing analysis However, source-level analysis is not always smoothly applicable in industrial projects. In this paper we report on the experiences of applying source-level analysis to industrial code in the ALL-TIMES FP7 project: the promises, the pitfalls, and the workarounds that were developed. We also discuss various approaches to how the difficulties that were encountered can be tackled.
|
|
| 2. |
- Lisper, Björn, et al.
(författare)
-
Practical experiences of applying source-level WCET flow analysis to industrial code
- 2013
-
Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer Science and Business Media LLC. - 1433-2779 .- 1433-2787. ; 15:1, s. 53-63
-
Tidskriftsartikel (refereegranskat)abstract
- Code-level timing analysis, such as worst-case execution time (WCET) analysis, usually takes place at the binary level. However, many program properties that are important for the analysis, such as constraints on possible program flows, are easier to derive at the source code level since this code contains much more information. Therefore, various source-level analyses can provide valuable support for timing analysis. However, source-level analysis is not always smoothly applicable in industrial settings. In this paper, we report on the experiences of applying source-level analysis to industrial code in the ALL-TIMES project: the promises, the pitfalls, and the workarounds that were developed. We also discuss various approaches to how the difficulties that were encountered can be tackled.
|
|
| 3. |
- Masuda, Takahiro, et al.
(författare)
-
Specification of CNS macrophage subsets occurs postnatally in defined niches
- 2022
-
Ingår i: Nature. - : Springer Nature. - 0028-0836 .- 1476-4687. ; 604:7907, s. 740-
-
Tidskriftsartikel (refereegranskat)abstract
- All tissue-resident macrophages of the central nervous system (CNS)-including parenchymal microglia, as well as CNS-associated macrophages (CAMs(1)) such as meningeal and perivascular macrophages(2-)(7)-are part of the CNS endogenous innate immune system that acts as the first line of defence during infections or trauma(2,8-10). It has been suggested that microglia and all subsets of CAMs are derived from prenatal cellular sources in the yolk sac that were defined as early erythromyeloid progenitors(11-15). However, the precise ontogenetic relationships, the underlying transcriptional programs and the molecular signals that drive the development of distinct CAM subsets in situ are poorly understood. Here we show, using fate-mapping systems, single-cell profiling and cell-specific mutants, that only meningeal macrophages and microglia share a common prenatal progenitor. By contrast, perivascular macrophages originate from perinatal meningeal macrophages only after birth in an integrin-dependent manner. The establishment of perivascular macrophages critically requires the presence of arterial vascular smooth muscle cells. Together, our data reveal a precisely timed process in distinct anatomical niches for the establishment of macrophage subsets in the CNS.
|
|
| 4. |
|
|
