
Marco Sanvido
Visiting Partner, Engineering Leader, Advisor, and Startup Mentor
Network
2.1K connectionsSummary
Work
Education
Writing
Incremental Parity Updates For RAID Stripes
Method and system for modifying and validating API requests
Migrating similar data to a single data reduction pool
Systems and methods for container image upgrade
Efficient redundant array of independent disks (RAID) stripe parity calculations
VIEWING AGGREGATE POLICIES FOR AUTHORIZING AN API
USING SIMILARITY DATA TO REDUCE DATA STORED FOR DATA SEGMENTS
Similarity data for reduced data usage
Viewing aggregate policies for authorizing an API
Optimized Encryption Key Management By A Group Of Storage Systems
Transformations for Cloud-based Snapshots
Unlocking data stored in a group of storage systems
Encrypting Data Using Non-Repeating Identifiers
Method and system for modifying and validating API requests
SYSTEMS AND METHODS FOR CONTAINER IMAGE UPGRADE
Protecting sensitive data in snapshots
Encrypting data with a unique key
Performing Partial Redundant Array Of Independent Disks (RAID) Stripe Parity Calculations
Performing partial redundant array of independent disks (RAID) stripe parity calculations
Metadata management in a storage system
Methods are described that allow disk drives, such as shingle-written magnetic recording (SMR) drives, to recover an Indirection Address Table mapping of LBAs to PBAs after an emergency power off (EPO).
Description of a patent related to disk drive data recovery.
A method for implementing data storage and a dual port, dual element storage device are provided. A storage device includes a predefined form factor including a first port and a second port, and a first storage element and a second storage element.
Description of a patent related to data storage devices.
Shingled magnetic recording is a promising technology to increase the capacity of hard-disk drives with no significant cost impact. Its main drawback is that random-write access to the disk is restricted due to overlap in the layout of data tracks. For computing and storage systems to enjoy the increased capacity, it is necessary to mitigate these...
Description of a patent related to shingled magnetic recording technology in hard-disk drives.
We propose a new type of heterogeneous storage device called Combo Drive, which comprises of a smaller-capacity low-latency solid-state disk drive (SSD) concatenated with a larger-capacity high-throughput hard disk drive (HDD).
Description of a patent related to heterogeneous storage devices (Combo Drive).
This papers reviews the increasing role of NAND flash memory in storage architectures. NAND flash has enjoyed a phenomenal growth rate in storage capacities as well as a steady decline in pricing during the past few years. These developments have enabled NAND to enter and possibly change or displace some traditional storage architectures.
Description of a paper reviewing the role of NAND flash memory in storage architectures.
The control of emissions has been addressed in the past to comply with environmental regulations. In particular air-to-fuel ratio control is key to reach the allowed pollution levels. The aim of this work is to present an alternative approach which allows for more flexibility to account for the type of signals and requirements of automotive applica...
Description of a paper on emission control and air-to-fuel ratio control in automotive applications.
We present a new software system architecture for the im- plementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling as in synchronous reactive programs) and proactivity (task scheduling as in traditional RTOSs) are fully programma- ble.
Description of a paper on a new software system architecture for hard real-time applications using a programmable microkernel.
Chapter six introduces event-driven programming. In an event-driven program, the program goes to an event queue to find the next event and then calls some code to process that event. Graphical User Interface (GUI) programs operate like this.
Description of a chapter introducing event-driven programming and GUI using Tkinter.
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predeces- sor, XGIOTTO is based on the LET (logical execution time) assumption: the pro- grammer specifies when the outputs of a task become available, and the compiler checks if the specification can be implement...
Description of a paper on XGIOTTO, a high-level programming language for hard real-time applications.
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checking, it has become possible to supplement this process with automatic checks for behavioral safety properties of programs, such as conformance with locking idioms and other...
Description of a paper on supplementing regression testing with automatic checks for behavioral safety properties in software development.
A methodology for control software development based on Giotto, a domain-specific high-level programming language for control applications is presented. Thus, the Giotto methodology is illustrated by reimplementing the controller for an autonomously flying model helicopter originally developed at the Swiss Federal Institute of Technology (ETH) Zuri...
Description of a paper on a methodology for control software development based on Giotto, a domain-specific language.
We demonstrate the feasibility and benefits of Giotto-based control software development by reimplementing the autopilot system of an autonomously flying model helicopter. Giotto offers a clean separation between the platform-independent concerns of software functionality and I/O timing, and the platform-dependent concerns of software scheduling an...
Description of a paper demonstrating Giotto-based control software development for an autopilot system.
This is a case study on control of helicopters. The Chapter gives a good illustration of the breadth and complexity of a sophisticated technical system that was developed in a university environment over several years.
Case study on helicopter control and development of a sophisticated technical system.
Abstract XGIOTTO \[5\] is a domain,specific language for the implementation,of embedded,software applications with hard temporal constraints. The language is an extension of the original GIOTTO language \[6\]. In this report we present the XGIOTTO tool chain, composed of the compiler and a specialized virtual machine, Embedded Virtual Machine (EVM).
Description of a paper on XGIOTTO, a domain-specific language for embedded software applications with hard temporal constraints.
Similar profiles
Ganesh Ramanarayanan
Family Sabbatical at Ganramstyle Labs
1.8K connections
CRCorinne Riley
Founding Investor and Board Member at Cogent Security
24.3K connections
JGJames Green
Board at Stealth
21.6K connections
NBNathan Benaich
Founder at Spinout.fyi
97.1K connections
ADAndrew Degnan
Managing Director at ModernOps
6.1K connections
FMFinn Meeks
Partner at South Park Commons
7.6K connections