968 research outputs found
Dynamix on the Frame VM: Declarative dynamic semantics on a VM using scopes as frames
No full textOver the years virtual machines (VMs) have been created to abstract over computer hardware. This simplified code generation and allowed for easy portability between hardware platforms. These VMs are however highly tailored to a particular runtime model. This improves the execution speed, but places restrictions on the types of languages that the VM supports. In this thesis the Frame VM was developed as a VM that supports many different types of languages in a principled way. Achieving this is done by basing the VM on language independent models of memory and control flow. Usage of the scopes-as-frames paradigm and control frames resulted in an instruction set that is relatively small at its core, but does allow for the construction of complex control flow. As an effect, many different programming languages can be compiled to the Frame VM. In addition to this VM, a Domain Specific Language (DSL) for executable semantics of programming languages was created. This language, Dynamix, allows for a modular approach to writing the semantics of a language. Additionally, Dynamix provides a meta-compiler that uses these semantics of a language to compile programs to the Frame VM. To validate the Frame VM, direct compilers for Rust and Prolog have been created in a student project and compilers for Scheme and Tiger were created using Dynamix. Using these semantics of Scheme and Tiger, it was possible to execute programs containing usage of call/cc and a suite of Tiger benchmark programs. Furthermore, the control flow of Tiger was extended with exceptions and generator functions. This extension did not require any changes to the existing semantics, showing the modularity of control achieved when using Dynamix and the Frame VM.Computer Scienc
MIME Configurations for Using VM on Emacs
No full textP(論文)Emacsは単なる文書編集アプリケーションではなく、様々な機能をマクロとして附加することができる。本稿では、このEmacsでメールを読み書きするための追加マクロとしてVMを取り上げる。VMでは電子メール本文におけるMIME対応はなされているが、ヘッダにおけるMIME対応はなされていない。本稿では、VMからSEMIを利用し、電子メールヘッダに日本語を利用するためのMIME設定について述べる。当初の目的であるEmacsとVMによる電子メールヘッダにおける日本語のMIME処理は実現できた。ただし、Emacsの版によってはうまく実現できないという情報もある。汎用的な方法を確立するためには、更なる調査が必要である。Emacs is an application software that can be used not only for editing plain texts but also for many other purposes by adding facilities as macros. In this study, VM was used as auxiliary macro for reading and writing e-mails by Emacs. VM has MIME reading and writing ability in the body part of e-mail messages but not in the header part. In this paper, MIME configurations for using SEMI from VM for processingJapanese characters in e-mail headers are described. The goal of this study, i.e., reading and writing MIME messages in header parts, was achieved. However, the author has information that the method described in this paper does not work well with one version of Emacs (Emacs 22). Establishment of a general method is a subject of future work.departmental bulletin pape
Flow compensation in a MEMS dual-thermal conductivity detector for hydrogen sensing in natural gas
No full textConventional thermal conductivity detectors (TCDs) demonstrate a flow dependence. The approach presented here to reduce the flow dependence is based on the on-line flow compensation using two thin-film sensors on membranes in parallel on the same chip that are differentially operated. These are laterally identically, but with a different depth of the detection chamber, resulting in different quasi-static sensitivities to the thermal conductivity of the sample gas. The effects of conduction and convection in the structure have been studied using COMSOL Multiphysics. First prototypes have been fabricated and are presently tested.Accepted Author ManuscriptElectronic Instrumentatio
Who creates the narrative? The case of RE/F/r:ACE, a participatory media artwork in city space
No full textThis paper discusses the roles of artist, author, participant and spectator within the context of participatory media art events, with reference to RE/F/r.ACE, a participatory video project developed by Andy Best-Dunkley, Merja Puustinen and Victor Khachtchanski. RE/F/r.ACE enables participants to easily contribute their own images as raw material to the ongoing flow of visual and audio narrative projected into the public city environment. Situating the project within an art historical context, the paper discusses the social and political coding of the architectonic urban environment, and the rules and norms relating to, and controlling, our everyday use of public space. When the notion of free “open to all” public space is under threat from ongoing commercialisation and gentrification of urban centres worldwide, RE/F/r.ACE is an example of one attempt to draw attention to this transformation in a creative, positive, and artistic manner.Peer reviewe
Multisize Electrode Field-of-View: Validation by High Resolution Gadolinium-Enhanced Cardiac Magnetic Resonance
No full textBackground: Voltage mapping to detect ventricular scar is important for guiding catheter ablation, but the field-of-view of unipolar, bipolar, conventional, and microelectrodes as it relates to the extent of viable myocardium (VM) is not well defined. Objectives: The purpose of this study was to evaluate electroanatomic voltage-mapping (EAVM) with different-size electrodes for identifying VM, validated against high-resolution ex-vivo cardiac magnetic resonance (HR-LGE-CMR). Methods: A total of 9 swine with early-reperfusion myocardial infarction were mapped with the QDOT microcatheter. HR-LGE-CMR (0.3-mm slices) were merged with EAVM. At each EAVM point, the underlying VM in multisize transmural cylinders and spheres was quantified from ex vivo CMR and related to unipolar and bipolar voltages recorded from conventional and microelectrodes. Results: In each swine, 220 mapping points (Q1, Q3: 216, 260 mapping points) were collected. Infarcts were heterogeneous and nontransmural. Unipolar and bipolar voltage increased with VM volumes from >175 mm3 up to >525 mm3 (equivalent to a 5-mm radius cylinder with height >6.69 mm). VM volumes in subendocardial cylinders with 1- or 3-mm depth correlated poorly with all voltages. Unipolar voltages recorded with conventional and microelectrodes were similar (difference 0.17 ± 2.66 mV) and correlated best to VM within a sphere of radius 10 and 8 mm, respectively. Distance-weighting did not improve the correlation. Conclusions: Voltage increases with transmural volume of VM but correlates poorly with small amounts of VM, which limits EAVM in defining heterogeneous scar. Microelectrodes cannot distinguish thin from thick areas of subendocardial VM. The field-of-view for unipolar recordings for microelectrodes and conventional electrodes appears to be 8 to 10 mm, respectively, and unexpectedly similar.ImPhys/Tao grou
Evaluation of SLA-based decision strategies for VM scheduling in cloud data centers
No full textCopyright © 2016 held by owner/author(s). Service level agreements (SLAs) gain more and more importance in the area of cloud computing. An SLA is a contract between a customer and a cloud service provider (CSP) in which the CSP guarantees functional and non-functional quality of service parameters for cloud services. Since CSPs have to pay for the hardware used as well as penalties for violating SLAs, they are eager to fulfill these agreements while at the same time optimizing the utilization of their resources. In this paper we examine SLA-aware VM scheduling strategies for cloud data centers. The service level objectives considered are resource usage and availability. The sample resources are CPU and RAM. They can be overprovisioned by the CSPs which is the main leverage to increase their revenue. The availability of a VM is affected by migrating it within and between data centers. To get realistic results, we simulate the effect of the strategies using the FederatedCloudSim framework and real-world workload traces of business-critical VMs. Our evaluation shows that there are considerable differences between the scheduling strategies in terms of SLA violations and the number of migrations. From all strategies considered, the combination of the Minimization of Migrations strategy for VM selection and the Worst Fit strategy for host selection achieves the best results
RelView 8.2 VirtualBox VM running Ubuntu 14.04
No full textThis virtual machine running Ubunutu 14.04 was built to ease using RelView 8.2.
We pre installed the complete RelView environment including all available plugins.
The virtual machine allows using RelView not only within a Linux infrastructure but also within Microsoft Windows surrounding.
To start RelView simply boot the VM and click the link on the virtual desktop.
In case you encounter a password prompt (which in general should not happen) use user name relview and password relview.
The list of base functions is avalaible here. Additional information is available here and here.
Our sources and all needed packages not being included in a default Linux systems are available on GitHub. To compile and install consider the following steps:
Install the dependencies. You'll need the following tools:
lua51 5.1.5
gmp 6.1.0
glib2 2.46.2
gtk+-2.0 2.24.29
cairo 1.14.6-1
libglade 2.6.4
pango 1.38.1
libxml2 2.9.3
You can install them on Ubuntu by using the package manager and the following command:
sudo apt-get install liblua5.1-0-dev liblua50-dev liblualib50-dev lua5.1 libgmp3-dev glib-2.0 libglade2-0 pango-1.0 libxml2 libxml2-dev libcairo2-dev libgdk-pixbuf2.0-0 gtk+-2.0
Download the install script.
Open the directory you have downloaded the script into in your terminal.
Type
chmod +x relviewInstall.sh
to make the script executable.
Run the script using
./relviewInstall.sh
Note: the is required and RelView will be installed in this folder. If the folder requires root access, you should run the command above as super-user: sudo ./relviewInstall.sh
RelView is now installed in /relview/bin and its executable is the file relview-bin
Evaluation of SLA-based decision strategies for VM scheduling in cloud data centers
No full textCopyright © 2016 held by owner/author(s). Service level agreements (SLAs) gain more and more importance in the area of cloud computing. An SLA is a contract between a customer and a cloud service provider (CSP) in which the CSP guarantees functional and non-functional quality of service parameters for cloud services. Since CSPs have to pay for the hardware used as well as penalties for violating SLAs, they are eager to fulfill these agreements while at the same time optimizing the utilization of their resources. In this paper we examine SLA-aware VM scheduling strategies for cloud data centers. The service level objectives considered are resource usage and availability. The sample resources are CPU and RAM. They can be overprovisioned by the CSPs which is the main leverage to increase their revenue. The availability of a VM is affected by migrating it within and between data centers. To get realistic results, we simulate the effect of the strategies using the FederatedCloudSim framework and real-world workload traces of business-critical VMs. Our evaluation shows that there are considerable differences between the scheduling strategies in terms of SLA violations and the number of migrations. From all strategies considered, the combination of the Minimization of Migrations strategy for VM selection and the Worst Fit strategy for host selection achieves the best results
Circulating plasma factors induce tubular and glomerular alterations in septic burns patients
No full textBackground
Severe burn is a systemic illness often complicated by sepsis. Kidney is one of the organs invariably affected, and proteinuria is a constant clinical finding. We studied the relationships between proteinuria and patient outcome, severity of renal dysfunction and systemic inflammatory state in burns patients who developed sepsis-associated acute renal failure (ARF). We then tested the hypothesis that plasma in these patients induces apoptosis and functional alterations that could account for proteinuria and severity of renal dysfunction in tubular cells and podocytes.
Methods
We studied the correlation between proteinuria and indexes of systemic inflammation or renal function prospectively in 19 severe burns patients with septic shock and ARF, and we evaluated the effect of plasma on apoptosis, polarity and functional alterations in cultured human tubular cells and podocytes. As controls, we collected plasma from 10 burns patients with septic shock but without ARF, 10 burns patients with septic shock and ARF, 10 non-burns patients with septic shock without ARF, 10 chronic uremic patients and 10 healthy volunteers.
Results
Septic burns patients with ARF presented a severe proteinuria that correlated to outcome, glomerular (creatinine/urea clearance) and tubular (fractional excretion of sodium and potassium) functional impairment and systemic inflammation (white blood cell (WBC) and platelet counts). Plasma from these patients induced a pro-apoptotic effect in tubular cells and podocytes that correlated with the extent of proteinuria. Plasma-induced apoptosis was significantly higher in septic severe burns patients with ARF with respect to those without ARF or with septic shock without burns. Moreover, plasma from septic burns patients induced an alteration of polarity in tubular cells, as well as reduced expression of the tight junction protein ZO-1 and of the endocytic receptor megalin. In podocytes, plasma from septic burns patients increased permeability to albumin and decreased the expression of the slit diaphragm protein nephrin.
Conclusion
Plasma from burns patients with sepsis-associated ARF contains factors that affect the function and survival of tubular cells and podocytes. These factors are likely to be involved in the pathogenesis of acute tubular injury and proteinuria, which is a negative prognostic factor and an index of renal involvement in the systemic inflammatory reaction
Simple drag prediction strategies for an Autonomous Underwater Vehicle’s hull shape
No full textThe range of an AUV is dictated by its finite energy source and minimising the energy consumption is required to maximise its endurance. One option to extend the endurance is by obtaining the optimum hydrodynamic hull shape with balancing the trade-off between computational cost and fluid dynamic fidelity. An AUV hull form has been optimised to obtain low resistance hull. Hydrodynamic optimisation of hull form has been carried out by employing five parametric geometry models with a streamlined constraint. Three Genetic Algorithm optimisation procedures are applied by three simple drag predictions which are based on the potential flow method. The results highlight the effectiveness of considering the proposed hull shape optimisation procedure for the early stage of AUV hull desig
- …
