archive-edu.com » EDU » C » COLORADO.EDU

Total: 105

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Computer Systems @ Colorado | Computer and Cyberphysical Systems Researchers At Colorado
    Wireless Radio Architecture Wireless CU Prototypes TRAC is gone People Faculty Dirk Grunwald Students Projects Policy Courses Computer systems covers the design and implementation of computer hardware and software including architecture operating systems programming languages security and networking Cyberphysical systems combines computer systems with non computing physical systems such as vehicles buildings and power systems The computer and cyberphysical systems group at the University of Colorado teaches classes in conducts research and consults on systems ranging from software radios to program analysis systems and compilers Most of the systems faculty are co located in a single large lab with their students Students and faculty have constructed prototypes including deployed experimental wireless systems using novel networking technologies sensor networks for animal tracking privacy preserving networks automotive and telematics systems energy management for computers vehicles and buildings and architectural simulators and programming language infrastructure Comments are closed News Dola Saha wins Grace Hopper Scholarship ModelNet Colorado PlanetLab Site Details Faculty Quicklinks John Bennett Tim Brown ECEE Dirk Grunwald Richard Han Eric Keller ECEE Qin Lv Shivakant Mishra Sriram Sankaranarayanan Li Shang ECEE Douglas Sicker Jeremy Siek ECEE Manish Vachharajani ECEE Tag cloud deer faa uas coverage self organization antenna program analysis directional

    Original URL path: http://systems.cs.colorado.edu/ (2013-03-18)
    Open archived version from archive

  • Architecture | Computer Systems @ Colorado
    Simulation Cognitive Radio and Unmanned Aircraft NC OFDM Synchronization in Cognitive Radio Networks Wireless Radio Architecture Wireless CU Prototypes TRAC is gone People Faculty Dirk Grunwald Students Projects Policy Courses Architecture Computer architecture is the design of realized computers the CPU s and other computing devices that make up computer systems Computer Architecture at University of Colorado has traditional been split between the Computer Science and the Electrical and Computer Engineering departments Within Computer Science most Computer Architecture work has been led by Dirk Grunwald and John Bennett Projects The Mixed Parallel Heterogenous Partitioning MPHP project bridges architecture and program analysis to provide a single language method to specifying scheduling and executing parallel programs on heterogenous architectures The SKIR project defined a stream interface for the LLVM intermediate representation Comments are closed News Dola Saha wins Grace Hopper Scholarship ModelNet Colorado PlanetLab Site Details Faculty Quicklinks John Bennett Tim Brown ECEE Dirk Grunwald Richard Han Eric Keller ECEE Qin Lv Shivakant Mishra Sriram Sankaranarayanan Li Shang ECEE Douglas Sicker Jeremy Siek ECEE Manish Vachharajani ECEE Tag cloud privacy sending uas deer sampling Synchronization modeling cognitive radio chainsaw security anonymity bit torrent mobile program analysis prototype geostatistics Radio coverage cyberphysical compilers

    Original URL path: http://systems.cs.colorado.edu/research/architecture/ (2013-03-18)
    Open archived version from archive

  • SKIR – Stream Kernel Intermediate Form | Computer Systems @ Colorado
    CU Prototypes TRAC is gone People Faculty Dirk Grunwald Students Projects Policy Courses SKIR stub Comments are closed News Dola Saha wins Grace Hopper Scholarship ModelNet Colorado PlanetLab Site Details Faculty Quicklinks John Bennett Tim Brown ECEE Dirk Grunwald Richard Han Eric Keller ECEE Qin Lv Shivakant Mishra Sriram Sankaranarayanan Li Shang ECEE Douglas Sicker Jeremy Siek ECEE Manish Vachharajani ECEE Tag cloud sending optimization compilers hardware faa chainsaw self

    Original URL path: http://systems.cs.colorado.edu/research/architecture/skir-stream-kernel-intermediate-form/ (2013-03-18)
    Open archived version from archive

  • Mixed-Parallel Heterogenous Partitioning | Computer Systems @ Colorado
    target system greatly influence the ratio of mixed parallel behavior that should be exploited Heterogeneous systems also require additional decisions concerning how code is scheduled across the available devices as well as balancing the interdependence between device scheduling and parallelization strategy selection Conceptually the program decomposition process occurs in three high level phases This holds true whether the decomposition is performed manually by a programmer or automatically through a parallel computing framework or compiler First code regions must be identified that have the appropriate granularity and execution characteristics to benefit from parallel execution Then a parallelization strategy none task data or pipeline must be selected for each code region or group of related regions Finally the code regions must be converted into parallel code and scheduled to the available resources either as static threads or entities within a parallel runtime system This is often a challenging task because the appropriate parallelization strategy granularity and degree of nested parallelism for a region of code depends on the capabilities of the target system The challenge is increased for heterogeneous parallel systems which augment general purpose computers with GPUs and other accelerators These systems necessitate the additional task of scheduling regions across the different devices and further complicate the parallelization strategy and granularity decisions that are influenced by this schedule The Mixed Parallel Heterogeneous Partitioning MPHP project is building a new program decomposition and scheduling algorithm that partitions a program into appropriately sized regions that are scheduled across the available resources using a mix of the three parallelization strategies Unlike existing techniques the presented algorithm does not evaluate the different parallelization strategies in a fixed order but treats all three strategies equally Furthermore the system addresses the interdependence between device scheduling and strategy selection reducing both decisions to a common problem that allows

    Original URL path: http://systems.cs.colorado.edu/research/architecture/mixed-parallel-heterogenous-partitioning/ (2013-03-18)
    Open archived version from archive

  • Cyberphysical | Computer Systems @ Colorado
    A System for Adaptable Multicore Applications S Taliro Monte Carlo Techniques for Testing Control Systems Infusion Pump Analysis Project Relational Abstractions for Cyber Physical Systems Flow Taylor Model Flowpipe Construction for Non Linear Hybrid Systems Symbolic verification of hybrid systems Selected Recent Publications Xin Chen Erika Abraham and Sriram Sankaranarayanan Taylor Model Flowpipe Construction for Non linear Hybrid Systems IEEE Real Time Systems Symposium RTSS 2012 Supplementary Materials here Sriram Sankaranarayanan and Georgios Fainekos Simulating Insulin Infusion Pump Risks by In Silico Modeling of the Insulin Glucose Regulatory System Computational Methods in Systems Biology CMSB 12 2012 Aditya Zutshi Sriram Sankaranarayanan and Ashish Tiwari Timed Relational Abstractions of Sampled Data Control Systems Computer Aided Verification CAV 12 2012 to appear Supplementary Materials are available here Georgios Fainekos Sriram Sankaranarayanan Koichi Ueda and Hakan Yazarel Verification of Automotive Control Systems using S Taliro Proc of American Control Conference ACC 12 invited session on verification of automotive control systems Arlen Cox Sriram Sankaranarayanan and Bor Yuh Evan Chang A Bit Too Precise Bounded Verification of Quantized Digital Filters Tools and Algorithms for Construction and Analysis of Systems TACAS 2012 Aleksandar Chakarov Sriram Sankaranarayanan and Georgios Fainekos Combining Time and Frequency Domain Specifications For Periodic Signals Runtime Verification RV 2011 Sriram Sankaranarayanan and Ashish Tiwari Relational Abstraction for Continuous and Hybrid Systems Computer Aided Verification CAV 2011 Supplementary materials are available here D Fay L Shang and D Grunwald A platform for developing adaptable multicore applications in Proc IEEE International Conference on Compilers Architecture and Synthesis for Embedded Systems July 2009 Michael Colon and Sriram Sankaranarayanan Generalizing the Template Polyhedral Domain European Symp on Programming ESOP 11 2011 Sriram Sankaranarayanan Automatic Abstraction of Non Linear Systems Using Change of Variables Transformations Hybrid Systems Computation and Control HSCC 11 2011 Tagged with Architecture cyberphysical

    Original URL path: http://systems.cs.colorado.edu/research/cyberphysical/ (2013-03-18)
    Open archived version from archive

  • Relational Abstractions for Hybrid Systems | Computer Systems @ Colorado
    the plant s dynamics Informally a hybrid automaton is a set of locations and transitions between these locations where each location defines the flow of the continuous variables One can think of the plant as a Hybrid Automaton with the locations defining the mode of operation of the plant between which it can switch under controller actions and environmental changes We call these transitions Controlled and Autonomous respectively The Controller Model Controllers regulate the behavior of the plant in a desired way These days they are digital implementations interfaced with the physical world and the plant through sensors and actuators According to our simplistic but not overly so definition the controller running on a micro controller polls the plant and its environment every sampling period through its sensors computes control actions and actuates the plant Controllers are usually implemented in imperative software languages like C and it seems a good choice to model them by an infinite state discrete transition system with an associated sampling time What are Relational and Timed Relational Abstractions We construct a timed relational abstraction of the hybrid plant by replacing the continuous plant dynamics by relations These relations map a state of the plant to states reachable within the sampling time period i e we try to capture the states of the plant as seen by the controller at the sample times while abstracting away the intersample behavior conservatively Why do we need abstractions We propose a method to discretize the plant dynamics into an infinite state transition system and because this discretization may contain more behaviors than the original plant we term it as an abstraction in other words an over approximation Being discrete infinite state transition systems these abstractions can be verified using conventional verification tools We use k induction to prove safety

    Original URL path: http://systems.cs.colorado.edu/research/cyberphysical/relational/ (2013-03-18)
    Open archived version from archive

  • Flow*: Taylor Model Flowpipe Construction For Non-Linear Hybrid Systems | Computer Systems @ Colorado
    Flow is able to handle hybrid systems with polynomial continuous dynamics polyhedral mode invariants and jump guards What are flowpipes There are various definitions on the term flowpipes Here a flowpipe means an over approximation of the reachable states in a time section or step Why Taylor models A Taylor model is a set defined by a bounded degree polynomial over an interval domain bloated by an interval Taylor models are able to provide higher order over approximations for the reachable sets of continuous systems Therefore by introducing techniques to deal with jumps and mode invariants we are able to use Taylor models to accurately over approximate hybrid system reachable sets How to use Flow A user manual of Flow can be found here Source code The source code is released under the GNU General Public License GPL We are happy to release the code under a license that is more or less permissive upon request source code benchmarks Publications Xin Chen Erika Abraham and Sriram Sankaranarayanan Taylor Model Flowpipe Construction for Non linear Hybrid Systems IEEE Real Time Systems Symposium RTSS 2012 Yan Zhang Xin Chen Erika Abraham and Sriram Sankaranarayanan Empirical Taylor Model Flowpipe Construction for Analog Circuits Abstract Frontiers of Analog Computation Workshop 2013 slides will be posted soon People Xin Chen RWTH Aachen University Germany Erika Abraham RWTH Aachen University Germany Sriram Sankaranarayanan University of Colorado Boulder Acknowledgments Sriram Sankaranarayanan gratefully acknowledges support from NSF CAREER Award Award 0953941 and NSF CPS Award Award 1035845 References Taylor models are a very useful computational tool from the interval analysis community They were originally developed by Profs Berz and Makino at the Michigan State University They maintain a page with their Taylor Model related works here Comments are closed News Dola Saha wins Grace Hopper Scholarship ModelNet Colorado

    Original URL path: http://systems.cs.colorado.edu/research/cyberphysical/taylormodels/ (2013-03-18)
    Open archived version from archive

  • Infusion Pump Analysis | Computer Systems @ Colorado
    insulin glucose regulatory system in the human body Our goal is to correlate common insulin infusion pump usage strategies and operator mistakes with outcomes for the patient As a related effort we are investigating Electronic Medical Records EMRs errors and data variations in these records The goal is to investigate how medical decisions can be affected by the presence of errors arising from human data entry mistakes but also due to the inherent uncertainties in the physiological measurements Our ultimate goal dream is to move beyond verification and synthesize interfaces that can help the user avoid errors systematically Unfortunately we do not have general recipes to achieve this However we are attempting to provide solutions to specific types of errors eg mode confusion in a well defined class of interfaces Downloads We will post some of the models and data from our work thus far If you need help with compilation of the code or understanding the model please email Sriram Sankaranarayanan BMC model checker source code and models from our FORMATS 2011 paper tar gz requires Z3 SMT solver to run Model for PCA Continuous mode infusion process click here Simulink Stateflow models coming soon Publications Here is the progress we have made thus far Paul Givens Aleksandar Chakarov Sriram Sankaranaryanan and Tom Yeh Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference 2012 Intl Conference on Software Engg ICSE New Ideas and Emerging Results NIER track 2013 to appear Sriram Sankaranarayanan Chris Miller Rangarajan Ragunathan Hadi Ravanbakhsh and Georgios Fainekos A Model Based Approach to Synthesizing Insulin Infusion Pump Usage Parameters for Diabetic Patients Allerton 2012 conference proceedings 2012 invited paper Sriram Sankaranarayanan and Georgios Fainekos Simulating Insulin Infusion Pump Risks by In Silico Modeling of the Insulin Glucose Regulatory System Computational

    Original URL path: http://systems.cs.colorado.edu/research/cyberphysical/infusion-pump-analysis/ (2013-03-18)
    Open archived version from archive



  •