operating system - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

Methodology for Optimization of Polymer Blends CompositionAlessandra Martins Coelho, Vania Vieira Estrela, Joaquim Teixeira de Assis, Gil de Carvalho, Joaquim Teixeira de Assis, Vania Vieira Estrela, Vânia Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho, Alessandra Martins Coelho, Alessandra Martins Coelho. 2012. [doi]

2011

Learning to Conceive, Design, Implement and Operate Circuits and SystemsEduard Alarcón, Ramon Bragós, Elisa Sayrol. iscas 2011: 1183-1186 [doi]

Abstract specification and formalization of an operating system kernel in ZLuciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima. sigops, 45(1):156-160, 2011. [doi]

Synchronous programming of device drivers for global resource control in embedded operating systemsNicolas Berthier, Florence Maraninchi, Laurent Mounier. lctrts 2011: 81-90 [doi]

Limits in the Bandwidth Exploitation in Passive Optical Networks Due to the Operating Systems (Poster)Paolo Bolletta, Valerio Petricca, Sergio Pompei, Luca Rea, Alessandro Valenti, Francesco Matera. tma 2011: 172-175 [doi]

r-Kernel: An operating system foundation for highly reliable networked embedded systemsQing Cao, Xiaorui Wang, Hairong Qi, Tian He. infocom 2011: 2507-2515 [doi]

Power control optimization in LMDS networks operating above 20GHz through Fuzzy Inference SystemsKonstantinos S. Chaloulos, Dimitris E. Charilas, Athanasios D. Panagopoulos. ISCC 2011: 585-590 [doi]

An Online Reprogrammable Operating System for Wireless Sensor NetworksHsung-Pin Chang, Yu-Chieh Lin, Da-Wei Chang. jise, 27(1):261-286, 2011. [doi]

Supporting dynamic update and resource protection in an embedded operating systemMei-Ling Chiang, Hsiang-Yu Hsu. SAC 2011: 616-620 [doi]

Virtual-CPU Scheduling in the Quest Operating SystemMatthew Danish, Ye Li, Richard West. rtas 2011: 169-179 [doi]

Combining memory management and filesystems in an operating systems courseHans-Georg Eßer. iticse 2011: 386 [doi]

Virtualization and its effect on operating systemEarl Forrest, Mohammad M. Fuad. ACMse 2011: 308-309 [doi]

A hybrid approach to operating system discovery based on diagnosisFrançois Gagnon, Babak Esfandiari. ijnm, 21(2):106-119, 2011. [doi]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011Rajiv Gupta, Todd C. Mowry, editors, ACM, 2011.

Design and implementation of an operating system for composable processor sharingAndreas Hansson, Marcus Ekerhult, Anca Mariana Molnos, Aleksandar Milutinovic, Andrew Nelson, Jude Ambrose, Kees Goossens. mam, 35(2):246-260, 2011. [doi]

Pilot-Aided IQ Imbalance Compensation for OFDM Systems Operating Over Doubly Selective ChannelsLanlan He, Shaodan Ma, Yik-Chung Wu, Yiqing Zhou, Tung-Sang Ng, H. Vincent Poor. tsp, 59(5):2223-2233, 2011. [doi]

R3-COP - Resilient Reasoning Robotic Co-operating SystemsWolfgang Herzner. ercim, 2011(84):17-18, 2011. [doi]

Ensuring operating system kernel integrity with OSckOwen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel. asplos 2011: 279-290 [doi]

Use of Modal Sensitivity to Operating Conditions for Damping Control in Power SystemsZhenyu Huang, Ning Zhou, Francis Tuffner, Daniel Trudnowski. hicss 2011: 1-9 [doi]

Architectural framework for supporting operating system survivabilityXiaowei Jiang, Yan Solihin. hpca 2011: 456-465 [doi]

Lessons Learned: Building the Caernarvon High-Assurance Operating SystemPaul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber. ieeesp, 9(1):22-30, 2011. [doi]

Fast and correct performance recovery of operating systems using a virtual machine monitorKenichi Kourai. vee 2011: 99-110 [doi]

Network and Operating System Support for Digital Audio and Video, 21st International Workshop, NOSSDAV 2011, Vancouver, BC, Canada, June 1-3, 2011, ProceedingsCharles Krasic, Kang Li, editors, ACM, 2011.

Energy Conscious Scheduling for Distributed Computing Systems under Different Operating ConditionsYoung Choon Lee, Albert Y. Zomaya. tpds, 22(8):1374-1381, 2011. [doi]

A Service-Oriented Operating System and an Application Development Infrastructure for Distributed Embedded SystemsMartin Lipphardt, Nils Glombitza, Jana Neumann, Christian Werner, Stefan Fischer. kivs 2011: 26-37 [doi]

Cloud MapReduce: A MapReduce Implementation on Top of a Cloud Operating SystemHuan Liu, Dan Orban. ccgrid 2011: 464-474 [doi]

On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware InterruptsMiao Liu, Duo Liu, Yi Wang, Meng Wang, Zili Shao. TC, 60(7):978-991, 2011. [doi]

A Simple Low-Cost Portable Energy Efficient Device to Supplement Operating System CurriculumChia-Tien Dan Lo, Kai Qian, Yanqing Zhang. icalt 2011: 76-77 [doi]

Teaching operating systems with simple low-cost portable energy efficient devicesChia-Tien Dan Lo, Kai Qian, Yan-Qing Zhang. ACMse 2011: 25-30 [doi]

Aspect-aware operating system developmentDaniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Olaf Spinczyk. AOSD 2011: 69-80 [doi]

A Qualitative Survey of Active TCP/IP Fingerprinting Tools and Techniques for Operating Systems IdentificationJoão Paulo S. Medeiros, Agostinho de Medeiros Brito Jr., Paulo S. Motta Pires. cisis-spain 2011: 68-75 [doi]

Parallax - A New Operating System Prototype Demonstrating Service Scaling and Service Self-Repair in Multi-core ServersRao Mikkilineni, Ian Seyler. wetice 2011: 104-109 [doi]

A study of repairable parts inventory system operating under performance-based contractH. Mirzahosseinian, R. Piplani. eor, 214(2):256-261, 2011. [doi]

A LabVIEW-based operating system for parallel transmit systemsKatherine L. Moody, Neal A. Hollingsworth, Jon-Fredrik Nielsen, Doug Noll, Steven M. Wright, Mary P. McDougall. isbi 2011: 771-774 [doi]

A Distributed, Heterogeneous, Target-Optimized Operating System for a Multi-robot Search and Rescue ApplicationKarl Muecke, Brian Powell. ieaaie 2011: 266-275 [doi]

Implementation of an e-Learning System. Optimization and Security-related AspectsAntoanela Naaji, Cosmin Herman. In Proceedings of the 15th Wseas International Conference on Computers, Recent Research in Computer Science. 2011: 412-417

SRC: FenixOS - a research operating system focused on high scalability and reliabilityStavros Passas, Sven Karlsson. ics 2011: 371 [doi]

A study of non-Boolean constraints in variability models of an embedded operating systemLeonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski. SPLC 2011: 2 [doi]

Tirex: A Target-Level Intermediate Representation for Compiler ExchangeArtur Pietrek, Florent Bouchez, Benoit Dupont De Dinechin. WIR 2011: 13-20

Operating Systems and Virtualization Frameworks: From Local to Distributed SimilaritiesFlavien Quesnel, Adrien Lebre. pdp 2011: 495-502 [doi]

A Framework for Testing Concurrent ProgramsMathias Ricken. PhD thesis, Rice University, April 2011.

Energy management in mobile devices with the cinder operating systemArjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazières, Nickolai Zeldovich. eurosys 2011: 139-152 [doi]

Development of the Many Nodes Connected and Simple Operated HD Remote Lecture System by Automatic ControlTakeshi Sakurada, Yoichi Hagiwara, Tadasuke Furuya. hci 2011: 529-533 [doi]

Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience ReportScholz, Wolfgang, Thomas Thüm, Sven Apel, Christian Lengauer. In Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD). 2011:

VII Brazilian workshop on operating systemsDilma Da Silva, Luciano Barreto, Paulo César A. Pereira. sigops, 45(1):155, 2011. [doi]

Computer-Controlled System for Calibrating High-Voltage Revenue Metering Equipment Under Actual Operating ConditionsEddy So, Réjean Arseneau, David Bennett, Michelle E. Frigault. tim, 60(7):2500-2505, 2011. [doi]

A Current-Comparator-Based System For Calibrating High-Voltage Current Transformers Under Actual Operating ConditionsEddy So, Réjean Arseneau, David Bennett, Michelle E. Frigault. tim, 60(7):2449-2454, 2011. [doi]

Operating System Interface Obfuscation and the Revealing of Hidden OperationsAbhinav Srivastava, Andrea Lanzi, Jonathon T. Giffin, Davide Balzarotti. dimva 2011: 214-233 [doi]

Operating Systems - Internals and Design Principles (7th ed.)William Stallings. Pitman, 2011. [doi]

Apple s Leopard Versus Microsoft s Windows XP: Experimental Evaluation of Apple s Leopard Operating System with Windows XP-SP2 under Distributed Denial of Service Security AttacksSirisha Surisetty, Sanjeev Kumar. isjgp, 20(3):163-172, 2011. [doi]

Applying a usage control model in an operating system kernelRafael Teigao, Carlos Maziero, Altair Olivo Santin. jnca, 34(4):1342-1352, 2011. [doi]

A survey of main memory acquisition and analysis techniques for the windows operating systemStefan Vömel, Felix C. Freiling. di, 8(1):3-22, 2011. [doi]

Application-specific service technologies for commodity operating systems in real-time environmentsRichard West, Gabriel Parmer. tecs, 10(3):30, 2011. [doi]

Operating system support for application-specific speculationBenjamin Wester, Peter M. Chen, Jason Flinn. eurosys 2011: 229-242 [doi]

Comments on Two Models for Operating Two-Warehouse Inventory Systems with Deteriorating Items and Inflationary EffectsHuachun Xiong, Jinxing Xie, Bo Niu. ijoris, 2(2):1-21, 2011. [doi]

Cloud computing oriented network operating system and service platformJianwei Yin, Yanming Ye, Bin Wu, Zuoning Chen. percom 2011: 111-116 [doi]

SecGuard: Secure and Practical Integrity Protection Model for Operating SystemsEnnan Zhai, Qingni Shen, Yonggang Wang, Tao Yang, Liping Ding, Sihan Qing. apweb 2011: 370-375 [doi]

Modeling Interdependent Network Systems for Identifying Cascade-Safe Operating MarginsEnrico Zio, Giovanni Sansavini. tr, 60(1):94-101, 2011. [doi]

2010

The Operating System for the Computer of the 21st CenturyChristian Becker. uic 2010: 3 [doi]

Enix: a lightweight dynamic operating system for tightly constrained wireless sensor platformsYu-Ting Chen, Ting-Chou Chien, Pai H. Chou. sensys 2010: 183-196 [doi]

An aspect-oriented framework for operating system evolutionJing Chen, Hui-Ming Su, Chien-Fu Chou. SAC 2010: 226-230 [doi]

Simulation of a Feasible Galileo System Operating in L1 and E5 BandsSpyridon K. Chronopoulos, Christos Koliopanos, Antigoni Pappa, Constantinos T. Angelis. psats 2010: 35-43 [doi]

Scalability comparison of commodity operating systems on multi-coresYan Cui, Yu Chen, Yuanchun Shi, Qingbo Wu. ispass 2010: 117-118 [doi]

Operating system development with ATS: work in progressMatthew Danish, Hongwei Xi. plpv 2010: 9-14 [doi]

Blind MMOE channel shortening for MIMO-OFDM systems operating over highly frequency-selective channelsDonatella Darsena, Giacinto Gelli, Luigi Paura, Francesco Verde. icassp 2010: 3198-3201 [doi]

From Operating-System Correctness to Pervasively Verified ApplicationsMatthias Daum, Norbert Schirmer, Mareike Schmidt. IFM 2010: 105-120 [doi]

A Road to a Formally Verified General-Purpose Operating SystemMartin Decký. isarcs 2010: 72-88 [doi]

The home needs an operating system (and an app store)Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Bernheim Brush, Bongshin Lee, Stefan Saroiu, Victor Bahl. hotnets 2010: 18 [doi]

TOSPIE2: tiny operating system plug-in for energy estimationPhilipp M. Glatz, Christian Steger, Reinhold Weiss. ipsn 2010: 410-411 [doi]

Verification-Purpose Operating System for Microprocessor System-Level FunctionsLingkan Gong, Jingfen Lu. dt, 27(1):76-85, 2010. [doi]

An Efficient Stack Management for Sensor Operating SystemsJunyoung Heo, Boncheol Gu, Yookun Cho, Jiman Hong. jise, 26(3):1137-1150, 2010. [doi]

Linux kernel projects for an undergraduate operating systems courseRob Hess, Paul Paulson. sigcse 2009: 485-489 [doi]

Distributed On-Chip Operating System for Network on ChipWei Hu, Jianliang Ma, Binbin Wu, Lihan Ju, Tianzhou Chen. IEEEcit 2010: 2760-2767 [doi]

Operating System Structures for Multiprocessor Systems on Programmable ChipMiaoqing Huang, David L. Andrews, Jason Agron. reconfig 2010: 358-363 [doi]

Impact of Operating System Behavior on Battery LifeBinu P. John, Abhishek Agrawal, Bob Steigerwald, Eugene B. John. jolpe, 6(1):10-17, 2010. [doi]

Subspace snooping: filtering snoops with operating system supportDaehoon Kim, Jeongseob Ahn, Jae-Hong Kim, Jaehyuk Huh. IEEEpact 2010: 111-122 [doi]

seL4: formal verification of an operating-system kernelGerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. CACM, 53(6):107-115, 2010. [doi]

Operating system virtualization: practice and experienceOren Laadan, Jason Nieh. systor 2010: [doi]

Transparent, lightweight application execution replay on commodity multiprocessor operating systemsOren Laadan, Nicolas Viennot, Jason Nieh. sigmetrics 2010: 155-166 [doi]

Palacios and Kitten: New high performance operating systems for scalable virtualized and native supercomputingJohn R. Lange, Kevin T. Pedretti, Trammell Hudson, Peter A. Dinda, Zheng Cui, Lei Xia, Patrick G. Bridges, Andy Gocke, Steven Jaconette, Michael Levenhagen, Ron Brightwell. ipps 2010: 1-12 [doi]

Workshop proceedings and other publications in ::::Operating System Review::::Jeanna Neefe Matthews. sigops, 44(1):1, 2010. [doi]

Using a Hypervisor to Migrate Running Operating Systems to Secure Virtual MachinesTsutomu Nomoto, Yoshihiro Oyama, Hideki Eiraku, Takahiro Shinagawa, Kazuhiko Kato. compsac 2010: 37-46 [doi]

Embedded server and client system for home appliances on real-time operating systemTakako Nonaka, Masato Shimano, Yuta Uesugi, Tomohiro Hase. isda 2010: 1345-1349 [doi]

An operating system abstraction layer for portable applications in wireless sensor networksRamon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler. SAC 2010: 742-748 [doi]

Predicting energy and performance overhead of Real-Time Operating SystemsSandro Penolazzi, Ingo Sander, Ahmed Hemani. date 2010: 15-20 [doi]

COLIBROS: Educational operating systemPredrag Rakic, Zarko Zivanov, Miroslav Hajdukovic. comsis, 7(4):705-719, 2010. [doi]

Operating system support for mitigating software scalability bottlenecks on asymmetric multicore processorsJuan Carlos Saez, Alexandra Fedorova, Manuel Prieto, Hugo Vegas. cf 2010: 31-40 [doi]

Operating system runtime management of partially dynamically reconfigurable embedded systemsMarco D. Santambrogio, Vincenzo Rana, Ivan Beretta, Donatella Sciuto. estimedia 2010: 1-10 [doi]

Teaching operating systems: windows kernel projectsAlexander Schmidt, Andreas Polze, Dave Probert. sigcse 2009: 490-494 [doi]

Operating System Support for Monitoring Parallel Software SystemsAlexander Schmidt. dagstuhl 2010: 207 [doi]

Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating SystemsJörn Schneider, Christian Eltges. isola 2010: 483-486 [doi]

Corticosteroids Operate as a Switch between Memory SystemsLars Schwabe, Hartmut Schächinger, E. Ron de Kloet, Melly S. Oitzl. jocn, 22(7):1362-1372, 2010. [doi]

Operating system resource managementBurton Smith. ipps 2010: 1 [doi]

MansOS: easy to use, portable and resource efficient operating system for networked embedded devicesGirts Strazdins, Atis Elsts, Leo Selavo. sensys 2010: 427-428 [doi]

A Particle Swarm Optimization Algorithm for Optimal Operating Parameters of VMI Systems in a Two-Echelon Supply ChainGoh Sue-Ann, S. G. Ponnambalam. semcco 2010: 440-447 [doi]

Trust and Protection in the Illinois Browser Operating SystemShuo Tang, Haohui Mai, Samuel T. King. osdi 2010: 17-32 [doi]

An operating system for multicore and clouds: mechanisms and implementationDavid Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Kevin Modzelewski, Adam Belay, Lamia Youseff, Jason E. Miller, Anant Agarwal. CLOUD 2010: 3-14 [doi]

An improved method of task context switching in OSEK operating systemZhaohui Wu, Hong Li, Guoqing Yang, Zhigang Gao, Pan Lv. ijpcc, 6(2):179-191, 2010. [doi]

GenerOS: An asymmetric operating system kernel for multi-core systemsQingbo Yuan, Jianbo Zhao, Mingyu Chen, Ninghui Sun. ipps 2010: 1-10 [doi]

Application of Pansystems Theory in Operating SystemsPei Li Zhou, Haixia Li, Yongli Li. fcs 2010: 205-211

PreviousNext