A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Issues in kernel design
[chapter]
1978
Lecture Notes in Computer Science
Preserved Fulltext
Storage .. channels are those which permit the passing of information through direct modifica-Issues in Kernel Design 1085 tion and reading of cells in the computer memory. ...
For Issues in Kernel Design 1081 example, while it may be possible for scheduling decisions to be made through a separate user process which is only interrogated by the kernel, the additional process switch ...
doi:10.1007/3-540-08755-9_5
fatcat:y43endaxqvhs3emjwyqyyrrby4
Issues and solutions in feature-based modelling: re-designing the shape kernel of CAD systems
[chapter]
1998
Globalization of Manufacturing in the Digital Communications Era of the 21st Century
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.
• In feature-based modelling, the separation of function from shape and structure provides a deeper insight of what should be a CAD kernel. ...
As specific virtual machines, geometric and feature-based modeHers play a central role in design and manufacturing. ...
doi:10.1007/978-0-387-35351-7_26
fatcat:a2whtdbuxnaynbq4w5ut2figma
Monotonicity properties for the viable control of discrete-time systems
2007
Systems & control letters (Print)
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.
called the viability kernel associated with the dynamics g in the desirable set D. ...
How to design "sustainable" recommandations A second lower approximation of the viability kernel
Proposition If V is a viability domain of g in D, then V = {x ∈ X | ∃u ∈ U , (x, u) ∈ D and g (x, u) ∈ ...
, Discrete time viability issues Approximations of the viability kernel Viability results under monotonicity properties Are the ICES fishing quotas recommandations "sustainable"? ...
doi:10.1016/j.sysconle.2006.10.007
fatcat:uw2ampelzfayraaunkazmr54p4
Application Of Formal Methods For Designing A Separation Kernel For Embedded Systems
2010
Zenodo
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.
A separation-kernel-based operating system (OS) has been designed for use in secure embedded systems by applying formal methods to the design of the separation-kernel part. ...
The design of the separation kernel was verified using two formal methods, the B method and the Spin model checker. ...
The effectiveness of these three methods for kernel design was complementary, and applying them was effective in attaining a well designed separation kernel. ...
doi:10.5281/zenodo.1071246
fatcat:6mm2w4dmwrgjbncpdqcfjobdcm
A Scalable Physical Memory Allocation Scheme for L4 Microkernel
2012
2012 IEEE 36th Annual Computer Software and Applications Conference
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.
In this work, we first study the scalability issue of the PMA implementation in L4 microkernels, and propose our solution in the context of Fiasco.OC, a state-of-the-art L4 microkernel implementation. ...
While research and engineering efforts have been made for PMA in monolithic kernels such as Linux, not much work can be found for L4 microkernels. ...
In contrast, PMA in L4 microkernels is rather different from that in a monolithic kernel due to the different OS design principles. ...
doi:10.1109/compsac.2012.85
dblp:conf/compsac/TianWK12
fatcat:kjtzwy2pdfhwhlkm33skmrn6ou
A strategy for real-time kernel support in application-specific HW/SW embedded architectures
1996
Proceedings of the 33rd annual conference on Design automation conference - DAC '96
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.
In this paper, we consider the problem of providing real-time kernel support for managing the concurrent software tasks that are distributed over a set of processorsin an application-specific multiprocessorarchitecture ...
In contrast to general-purpose computer systems, embedded systems are designed and optimized to provide specific functionality, using possibly a combination of different classes of processors (e.g. ...
While the design of real-time kernels is not new, earlier kernels were bulky and did not address well performance issues [4] . ...
doi:10.1145/240518.240646
dblp:conf/dac/VercauterenLM96a
fatcat:ozs6ycjsezftxnn57hotu73kha
The inner and the outer model in explanatory design theory: the case of designing electronic feedback systems
2016
European Journal of Information Systems
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.
Both Information Technology (IT) artifacts and design theories are important elements for knowledge capture in design science research in information systems. ...
We identify common issues that arise from conceptual distances between these ideas and show their potential impact on both the design and evaluation of artifacts. ...
Acknowledgements An earlier version of this paper was presented at DESRIST 2012 (International Conference on Design Science Research in Information Systems and Technology). ...
doi:10.1057/ejis.2016.3
fatcat:bk7ctijeg5e5xaki5il5yvbt7e
Extending programming language to support object orientation in legacy systems
2013
Computer Science and Information Systems
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 a case study of Linux kernel, we report major issues in providing the compile and runtime support for C++ in legacy systems, and provide a solution to these issues. ...
The contemporary software systems written in C face maintainability issues because of tight coupling. ...
The authors acknowledge Prateek Dhawaalia, IIT Madras for his inputs in implementation of the g++ extension. The authors also thank DIT, Government of India for financially supporting this work. ...
doi:10.2298/csis130115070m
fatcat:gshdxc4jtbcexf7fq4u74bu2ka
Construction and exploitation of VLIW ASIPs with heterogeneous vector-widths
2014
Microprocessors and microsystems
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.
In our context, heterogeneity corresponds to the usage of two or more different vector widths in a single ASIP. ...
After a brief explanation of the target ASIP architecture model, the paper describes the vector-width exploration method and explains the associated design automation tools. ...
The lowest cycle counts are highlighted in bold. heterogeneous design points. Moreover, the total cycle count of ASIP designs executing all kernels are presented in Fig. 13 . ...
doi:10.1016/j.micpro.2014.05.004
fatcat:hua42e74vbgllnl4aejatueoe4
Automatic FPGA-based Hardware Accelerator Design: A Case Study with Image Processing Applications
2020
EAI Endorsed Transactions on Context-aware Systems and 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 2020; you can also visit the original URL.
The file type is application/pdf.
The systems offer accelerations in execution time compared to traditional general purpose processors and accelerator systems designed manually. ...
We present a case study of automatic FPGA-based hardware accelerator design using our proposed framework with the image processing domain. ...
This solves one of the most difficult issues that designers usually have. ...
doi:10.4108/eai.12-5-2020.164497
fatcat:cuy2tvwrx5cadpejnrrqi63vwm
Guest Editorial: Special Issue on Parameterized and Exact Computation, Part I
2011
Algorithmica
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.
The papers in this issue represent the subareas of recent growth in the area including variations of Robertson-Seymour and Courcelle's theorems, kernelization and structural parameterization. ...
The papers in this issue form the first part of the two parts special issue in the area of parameterized and exact exponential algorithms and complexity. ...
The papers in this issue form the first part of the two parts special issue in the area of parameterized and exact exponential algorithms and complexity. ...
doi:10.1007/s00453-011-9605-3
fatcat:5bwu4ykmlrcypdm5wzdvtehirq
Stream Execution on Embedded Wide-Issue Clustered VLIW Architectures
2008
EURASIP Journal on Embedded Systems
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.
In this paper, we investigate the mapping of stream programs to wide-issue clustered VLIW processors. ...
Recommended by Sri Parameswaran Very long instruction word-(VLIW-) based processors have become widely adopted as a basic building block in modern Systemon-Chip designs. ...
ACKNOWLEDGMENTS We would like to acknowledge Alan Gatherer and David Hoyle from Texas Instruments, Inc. for a number of stimulating discussions on both application and compiler requirements for wide-issue ...
doi:10.1155/2008/516240
fatcat:5bknozgbyvc7pkuowofzewowje
Exploring the Design Space of Combining Linux with Lightweight Kernels for Extreme Scale Computing
2015
Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers - ROSS '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 2020; you can also visit the original URL.
The file type is application/pdf.
6
Outline
ü Motivation
ü Background
ü HPC OS Architecture and Lightweight kernels (LWK)
• Linux + LWK
• Issues and Requirements
• Design
• Proxy model
• Direct model
• Comparison
• ...
restricted
are somewhat unclear
14
Outline
ü Motivation
ü Background
ü HPC OS Architecture and Lightweight kernels (LWK)
ü Linux + LWK
ü Issues and Requirements
ü Design
ü Proxy ...
for enhanced system software to meet HW and SW requirements of exascale and beyond • Hybrid Linux+LWK approach proposed to provide LWK performance but to retain Linux APIs at the same time • Explored design ...
doi:10.1145/2768405.2768410
dblp:conf/hpdc/GerofiTIRPW15
fatcat:hfnq6tembzfqfo3asyjjgqhc7e
Communication Primitives for Real-Time Distributed Synchronization over Small Area Networks
2009
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
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.
We choose the shared buffer based design described in Section III.C. The proposed design can be implemented as a kernel module and user library without any kernel modification. ...
However, its detail design issues and optimal suggestion have not been studied in the literature thoroughly. ...
In order to address these issues, we design synchronization between the kernel and the user process based on the algorithms suggested in [6] and [7] . ...
doi:10.1109/isorc.2009.30
dblp:conf/isorc/LeeJ09
fatcat:s2a7ycshubarhcubm4bbmiv4sy
Missing Value Estimation for Mixed-Attribute Data Sets
2011
IEEE Transactions on Knowledge and Data Engineering
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 2012; you can also visit the original URL.
The file type is application/pdf.
Missing data imputation is a key issue in learning from incomplete data. ...
Although many real applications are in this setting, there is no estimator designed for imputing mixed-attribute datasets. ...
This algorithm will be designed in the following subsections. ...
doi:10.1109/tkde.2010.99
fatcat:wvwtlpec2rbrvb4cyryfamcihm
« Previous
Showing results 1 — 15 out of 272,618 results