Filters








272,618 Hits in 3.0 sec

Issues in kernel design [chapter]

G. J. Popek, C. S. Kline
1978 Lecture Notes in Computer Science  
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]

A. Gomes, A. Middleditch, C. Reade
1998 Globalization of Manufacturing in the Digital Communications Era of the 21st Century  
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

Michel De Lara, Luc Doyen, Thérèse Guilbaud, Marie-Joëlle Rochet
2007 Systems & control letters (Print)  
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

Kei Kawamorita, Ryouta Kasahara, Yuuki Mochizuki, Kenichiro Noguchi
2010 Zenodo  
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

Chen Tian, Daniel Waddington, Jilong Kuang
2012 2012 IEEE 36th Annual Computer Software and Applications Conference  
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

Steven Vercauteren, Bill Lin, Hugo De Man
1996 Proceedings of the 33rd annual conference on Design automation conference - DAC '96  
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

Bjoern Niehaves, Kevin Ortbach
2016 European Journal of Information Systems  
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

Hemang Mehta, S.J. Balaji, Dharanipragada Janakiram
2013 Computer Science and Information Systems  
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

Erkan Diken, Roel Jordans, Rosilde Corvino, Lech Jóźwiak, Henk Corporaal, Felipe Augusto Chies
2014 Microprocessors and microsystems  
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

Cuong Pham-Quoc
2020 EAI Endorsed Transactions on Context-aware Systems and Applications  
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

Venkatesh Raman, Saket Saurabh
2011 Algorithmica  
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

Shan Yan, Bill Lin
2008 EURASIP Journal on Embedded Systems  
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

Balazs Gerofi, Masamichi Takagi, Yutaka Ishikawa, Rolf Riesen, Evan Powers, Robert W. Wisniewski
2015 Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers - ROSS '15  
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

Sang-Hun Lee, Hyun-Wook Jin
2009 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
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

Xiaofeng Zhu, Shichao Zhang, Zhi Jin, Zili Zhang, Zhuoming Xu
2011 IEEE Transactions on Knowledge and Data Engineering  
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