Filters








29,139 Hits in 4.8 sec

Architecture-Guided Test Resource Allocation via Logic [chapter]

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 Lecture Notes in Computer Science  
By translating a fault tree representing a system's architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account  ...  We implemented a tool called Astrahl and compared our results to other testing resource allocation strategies.  ...  One way to link our approach to fuzzy logics is via three-valued logics [1] .  ... 
doi:10.1007/978-3-030-79379-1_2 fatcat:2p27o44evvcf7dgls74fl3fwpy

NOVI Tools and Algorithms for Federating Virtualized Infrastructures [chapter]

Leonidas Lymberopoulos, Mary Grammatikou, Martin Potts, Paola Grosso, Attila Fekete, Bartosz Belter, Mauro Campanella, Vasilis Maglaris
2012 Lecture Notes in Computer Science  
D4.1: Software Architecture Strategy & Developers' Guide [35].  ...  their allocation.  ... 
doi:10.1007/978-3-642-30241-1_19 fatcat:sx4y4vrbcfhfxg5bcteckcid44

Formal Executable Models for Automatic Detection of Timing Anomalies

Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan, Michael Wagner
2018 Worst-Case Execution Time Analysis  
We ground our work on formal designs of architecture models upon which we employ guided model checking techniques.  ...  The presence of such behaviors is inconvenient for the WCET analysis which requires, via abstractions, a certain monotony property to compute safe bounds.  ...  Semantically, our architecture model for the out-of-order resource allocation supports the Tomasulo algorithm, as in [1] , whereas the in-order resource allocation is driven by the program order.  ... 
doi:10.4230/oasics.wcet.2018.2 dblp:conf/wcet/AsavoaeHJ18 fatcat:yatz64kqnfawfhvuzzhyvdflue

Sensor Scheduling in Mobile Robots Using Incomplete Information via Min-Conflict With Happiness

A. Gage, R.R. Murphy
2004 IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)  
In addition, MCH supports behavioral sensor fusion allocations.  ...  A categorization of the types of contention over sensing resources is provided, as well as a taxonomy of available information for the sensor scheduling task.  ...  This is done by recording the sensing state of the logical sensor, then attempting to free and request that logical sensor's resources through the MCH allocation system.  ... 
doi:10.1109/tsmcb.2003.817048 pmid:15369086 fatcat:5xwwvdaecvcevgblhlmkceh4kq

Network Architecture of a Modern Automotive Infotainment System

Mashud Kabir
2012 Advances in Automobile Engineering  
In this paper, MOST network architecture which is the backbone of modern infotainment platform, network management protocols and related devices are presented.  ...  Therefore, it has always been a challenging topic for researchers and engineers to find an appropriate network architecture which can adjust with the newly added ECUs and user demands.  ...  Allocation, de-allocation and audio management are the areas where sources, sinks, resource management are handled.  ... 
doi:10.4172/2167-7670.1000101 fatcat:pp7anrj4onberoj4ige3rrngry

EMPLOYING HOST VIRTUALIZATION AND SYMMETRIC MULTI-PROCESSING AS A STRATEGY FOR IMPROVING PERFORMANCE IN COMPUTENTIONALLY INTENSE PROBLEMS

2011 Issues in Information Systems  
This manuscript describes how a virtualized architecture can be utilized to help a corporate data center leverage the multi-core architecture which is often utilized in virtual computing.  ...  Because the potential benefits of virtualization in a multi-cored architecture are critical both financially and operationally to any organization operating on a global scale, the results presented herein  ...  the SMP logic.  ... 
doi:10.48009/1_iis_2011_357-365 fatcat:jg5xk6eqcraldklxgoyz7o23vm

Implementation of Puhuri core functionalities

Marina Adomeit, Kalle Happonen, Jarno Laitinen, Ilja Livenson, Juha Nyholm, Ahti Saar, Anders Sjöström
2021 Zenodo  
Chapter 1: high level architecture of Puhuri Chapter 2: AAI Chapter 3: Resource allocation The special focus here are the Puhuri Core APIs. Chapter 4: LUMI integration  ...  The solution is based on the AARC architecture and follows its guiding principles.  ...  allocation management Creating and managing resource allocations in Puhuri Core follows ordering logic.  ... 
doi:10.5281/zenodo.4727686 fatcat:uc5f4qijqngmrol3o6tdzqjwni

A lightweight VMM on many core for high performance computing

Yuehua Dai, Yong Qi, Jianbao Ren, Yi Shi, Xiaoguang Wang, Xuan Yu
2013 SIGPLAN notices  
We implement a prototype of OSV on AMD Opteron processor based 32-core servers with SVM and cache-coherent NUMA architectures.  ...  The resource isolation is implemented with hardware-assist virtualization. The resource sharing is controlled by distributed protocols embedded in current operating systems.  ...  Based on the cloud computing model and the major functions of VMM, using the static resource allocation policy is reasonable [24] Figure 3 . The architecture of OSV Kernel.  ... 
doi:10.1145/2517326.2451535 fatcat:wsucmqgkj5asdfu4tzsjk7tupa

A lightweight VMM on many core for high performance computing

Yuehua Dai, Yong Qi, Jianbao Ren, Yi Shi, Xiaoguang Wang, Xuan Yu
2013 Proceedings of the 9th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '13  
We implement a prototype of OSV on AMD Opteron processor based 32-core servers with SVM and cache-coherent NUMA architectures.  ...  The resource isolation is implemented with hardware-assist virtualization. The resource sharing is controlled by distributed protocols embedded in current operating systems.  ...  Based on the cloud computing model and the major functions of VMM, using the static resource allocation policy is reasonable [24] Figure 3 . The architecture of OSV Kernel.  ... 
doi:10.1145/2451512.2451535 dblp:conf/vee/DaiQRSWY13 fatcat:2hoplkecb5c7xmzz4heuqxkr2i

Aspect Design with the Building Block Method [chapter]

Jürgen K. Müller
1999 IFIP Advances in Information and Communication Technology  
A (set of) BB(s) is aspect-complete if it allocates all its required resources itself and implements all aspect functionality [15] .  ...  Intrinsic architecture qualities guide the process of making an architecture but do not directly influence system implementation. 3.1.3 Architectural concerns G.  ... 
doi:10.1007/978-0-387-35563-4_34 fatcat:mfgnwnq3kvbnboccoblopbavke

Fuzzy Based Algorithm for Cloud Resource Management and Task Scheduling

Rashmi Singh Lodhi, Dr. R. K. Pateriya
2019 Zenodo  
The test results obtained show that in terms of QoS, resource management, and power savings, the proposed fuzzy logic controller based technique outperforms standard techniques.  ...  The proposed technique uses Fuzzy based approach to calculate the VM's status and VMs configurations, depending upon the cloud resource availability and job resource requirements, and then a fuzzy logic  ...  Figure 1 : 1 Architecture of Fuzzy Logic Controller (FLC) system.  ... 
doi:10.5281/zenodo.3590723 fatcat:u3dypfo2xvajvigbd47kduap5a

Design-Space Exploration through Constraint-Based Model-Transformation

Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
2010 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems  
The approach is demonstrated for the (semi-)automatic, incremental deployment of logical architectures to hardware platforms.  ...  By using model transformations based on a declarative, relational approach, these constraints can be formalized as transformation rules guiding a mechanized exploration of possible design alternatives.  ...  Unit via UnitDeploys is resource-consistent with Load and the remaining units are resource-consistent with the remaing components deployed via the remaining associations A collection Comps of components  ... 
doi:10.1109/ecbs.2010.25 dblp:conf/ecbs/SchatzHL10 fatcat:rhkgs7ot7nf23d4kylzve2sxji

Knowledge-based Support to Process Integration in ODE

Fabiano Borges Ruy, Gleidson Bertollo, Ricardo De Almeida Falbo
2018 CLEI Electronic Journal  
resource allocation to projects.  ...  Figure 8 shows a fragment of code used to perform an operation via logical inference, which the result is a list of objects.  ... 
doi:10.19153/cleiej.7.1.3 fatcat:vjydozvq2vg55gaguzckkpg6fi

Network Slicing and Softwarization: A Survey on Principles, Enabling Technologies, and Solutions

Ibrahim Afolabi, Tarik Taleb, Konstantinos Samdanis, Adlen Ksentini, Hannu Flinck
2018 IEEE Communications Surveys and Tutorials  
It takes care of the inter-slice resource allocation and selects a configuration policy to guide the allocated resources.  ...  A similar concept is also presented in [127] , considering a RAN controller that guides the inter-slice resource allocation based on a predetermined policy.  ... 
doi:10.1109/comst.2018.2815638 fatcat:goitkw7s3zgjpm3hgldexhuqo4

A comparison between mask- and field-programmable routing structures on industrial FPGA architectures

Luca Macchiarulo, Consolato F. Caccamo, Davide Pandini
2004 Proceedins of the 14th ACM Great Lakes symposium on VLSI - GLSVLSI '04  
In this paper we compare the routing architecture of island-style FPGAs based on field-programmable switch boxes with a maskprogrammable routing structure, in order to assess its position in the design  ...  As a consequence, we believe that between the two bounds of the design space, i.e., ASICs and FPGAs, there are several hybrid architectural solutions trading off performances, power, area, and programmability  ...  Typically up to 90% of the total chip area is allocated to the routing resources necessary to implement complex hierarchical interconnect architectures.  ... 
doi:10.1145/988952.989056 dblp:conf/glvlsi/MacchiaruloCP04 fatcat:flqqajzo4fbydak4orlbirp2mq
« Previous Showing results 1 — 15 out of 29,139 results