Search results for "device drivers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Vitaly Chipounov, George Candea	Reverse engineering of binary device drivers with RevNIC.	EuroSys	2010	DBLP DOI BibTeX RDF	closed-source, proprietary software, reverse engineering, device drivers, binary
3	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser	Dingo: taming device drivers.	EuroSys	2009	DBLP DOI BibTeX RDF	reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
3	Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller	Documenting and automating collateral evolutions in linux device drivers.	EuroSys	2008	DBLP DOI BibTeX RDF	collateral evolutions, program transformation, software evolution, domain-specific language, linux, device drivers
3	Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy	Recovering device drivers.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Recovery, device drivers, I/O
3	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
3	Yoann Padioleau, Julia L. Lawall, Gilles Muller	Understanding collateral evolution in Linux device drivers.	EuroSys	2006	DBLP DOI BibTeX RDF	software evolution, Linux, device drivers
3	Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser	User-Level Device Drivers: Achieved Performance.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	performance, reliability, operating systems, device drivers
3	Christopher L. Conway, Stephen A. Edwards	NDL: a domain-specific language for device drivers.	LCTES	2004	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, systems programming
3	Scott Thibault, Renaud Marlet, Charles Consel	Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	video cards, domain-specific language, partial evaluation, device drivers, GAL
3	Steven Doran	Interfacing low-level C device drivers with Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, Ada 95, device drivers, C programming language
2	Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser	The case for active device drivers.	ApSys	2010	DBLP DOI BibTeX RDF	stack ripping, concurrency, device drivers
2	Juan F. Navas, Jean-Philippe Babau	Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development.	CSE	2009	DBLP DOI BibTeX RDF
2	Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco	Automatic customization of device drivers for IP-cores used with assorted CPU organizations.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	device driver design, embedded systems, hardware-software codesign
2	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser	Automatic device driver synthesis with termite.	SOSP	2009	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, software synthesis, two-player games
2	Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turner, Alan L. Cox, Scott Rixner	Achieving 10 Gb/s using safe and transparent network interface virtualization.	VEE	2009	DBLP DOI BibTeX RDF	performance analysis, networking, virtual machine, virtualization, device drivers, i/o
2	Hiroo Ishikawa, Alexandre Courbot, Tatsuo Nakajima	A Framework for Self-Healing Device Drivers.	SASO	2008	DBLP DOI BibTeX RDF
2	Constantin Sârbu, Andréas Johansson, Neeraj Suri	Execution Path Profiling for OS Device Drivers: Viability and Methodology.	ISAS	2008	DBLP DOI BibTeX RDF	Code Path Profiling, Operating System, Cluster Analysis, Device Driver, Black-box Testing
2	Constantin Sârbu, Andréas Johansson, Neeraj Suri, Nachiappan Nagappan	Profiling the Operational Behavior of OS Device Drivers.	ISSRE	2008	DBLP DOI BibTeX RDF
2	Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha	The design and implementation of microdrivers.	ASPLOS	2008	DBLP DOI BibTeX RDF	reliability, device drivers, program partitioning
2	Yu-Seung Ma, Duk-Kyun Woo	Applying a Code Clone Detection Method to Domain Analysis of Device Drivers.	APSEC	2007	DBLP DOI BibTeX RDF
2	David Monniaux	Verification of device drivers and intelligent controllers: a case study.	EMSOFT	2007	DBLP DOI BibTeX RDF	OHCI, direct memory access, verification, parallelism, asynchronous, device driver, linked lists, USB
2	Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher	Model checking concurrent linux device drivers.	ASE	2007	DBLP DOI BibTeX RDF	model checking, linux, device driver, predicate abstraction
2	Rui Shi	Implementing reliable Linux device drivers in ATS.	PLPV	2007	DBLP DOI BibTeX RDF	applied type system, device driver programming, ATS
2	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Failure Resilience for Device Drivers.	DSN	2007	DBLP DOI BibTeX RDF	Operating System Dependability, Device Driver Recovery, Failure Resilience
2	Hongseok Yang	Towards Shape Analysis for Device Drivers.	VMCAI	2007	DBLP DOI BibTeX RDF
2	Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	Semantic patches for documenting and automating collateral evolutions in Linux device drivers.	PLOS	2006	DBLP DOI BibTeX RDF	software evolution, domain-specific languages
2	Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner	Thorough static analysis of device drivers.	EuroSys	2006	DBLP DOI BibTeX RDF	formal verification, software model checking
2	Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi	Solving the starting problem: device drivers as self-describing artifacts.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative configuration, dependable computing, experience with existing systems, programming language support, operating systems
2	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
2	Michael M. Swift, Brian N. Bershad, Henry M. Levy	Improving the reliability of commodity operating systems.	ACM Trans. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Recovery, virtual memory, protection, device drivers, I/O
2	Joshua LeVasseur, Volkmar Uhlig	A sledgehammer approach to reuse of legacy device drivers.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
2	Vladimir Levin	Static driver verifier, a formal verification tool for Windows device drivers.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Ozgur Celebican, Tajana Simunic Rosing, Vincent John Mooney III	Energy estimation of peripheral devices in embedded systems.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	audio, device drivers, energy estimation, software optimization
2	Shaojie Wang, Sharad Malik	Synthesizing operating system based device drivers in embedded systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	embedded system software, operating system based software synthesis, device driver, correct-by-construction
2	Michael M. Swift, Brian N. Bershad, Henry M. Levy	Improving the reliability of commodity operating systems.	SOSP	2003	DBLP DOI BibTeX RDF	recovery, virtual memory, protection, device drivers, I/O
2	Michael M. Swift, Steven Martin, Henry M. Levy, Susan J. Eggers	Nooks: an architecture for reliable device drivers.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
2	Melissa Moy, David B. Stewart	An Engineering Approach to Determining Sampling Rates for Switches and Sensors in Real-Time Systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	component-based device drivers, switch matrix, real-time scheduling, parallel I/O, analog-to-digital converter, software modeling, real-time operating system, experimental software engineering, digital control systems
2	Dorota M. Huizinga, Christine Ames	Mobile File System Support with Virtual Device Drivers.	SAC	1999	DBLP DOI BibTeX RDF	file system extensibility, virtual device drivers, mobile computing, disconnected operation
2	Tetsuro Katayama, Keizo Saisho, Akira Fukuda	Proposal of a Support System for Device Driver Generation.	APSEC	1999	DBLP DOI BibTeX RDF	network, operating systems, ethernet, device drivers, automatic generation
2	Mattias O'Nils, Johnny Öberg, Axel Jantsch	Grammar Based Modelling and Synthesis of Device Drivers and Bus Interfaces.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Kees A. Vissers	Trade-offs in the design of mixed hardware-software systems-a perspective from industry.	CODES	1997	DBLP DOI BibTeX RDF	consumer electronics devices, dedicated components, end-user applications, hardware interface, hardware-software systems design, on-screen display, programmable components, well defined interfaces, embedded systems, software architecture, operating system, high level synthesis, application programming interfaces, device drivers, television, software interfaces, industry perspective, hardware platform
2	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
1	Asim Kadav, Michael M. Swift	Understanding modern device drivers.	ASPLOS	2012	DBLP DOI BibTeX RDF
1	Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu	Static analysis of device drivers: we can do better!	APSys	2011	DBLP DOI BibTeX RDF
1	Nicolas Berthier, Florence Maraninchi, Laurent Mounier	Synchronous programming of device drivers for global resource control in embedded operating systems.	LCTES	2011	DBLP DOI BibTeX RDF
1	Constantin Sârbu, Andréas Johansson, Neeraj Suri, Nachiappan Nagappan	Profiling the operational behavior of OS device drivers.	Empirical Software Engineering	2010	DBLP DOI BibTeX RDF
1	Heeseung Jo, Hwanju Kim, Jae-Wan Jang, Joonwon Lee, Seungryoul Maeng	Transparent Fault Tolerance of Device Drivers for Virtual Machines.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF
1	Paul Radford, Andy Linton, Ian Welch	Event log messages as a human interface, or, "do you pine for the days when men were men and wrote their own device drivers?".	OZCHI	2010	DBLP DOI BibTeX RDF
1	Zvonimir Rakamaric	STORM: static unit checking of concurrent programs.	ICSE	2010	DBLP DOI BibTeX RDF	unit checking, static analysis, concurrent programs
1	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
1	Rob Hess, Paul Paulson	Linux kernel projects for an undergraduate operating systems course.	SIGCSE	2010	DBLP DOI BibTeX RDF	operating systems, open source, linux, projects, kernel
1	Peter M. Chen	Transistors to toys: teaching systems to freshmen.	VEE	2010	DBLP DOI BibTeX RDF	education
1	Eyad Alkassar	OS verification extended: on the formal verification of device drivers and the correctness of client-server software.		2009	RDF
1	Edson Lisboa, Luciano Silva, Igino Chaves, Thiago Lima, Edna Barros	A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models.	SCOPES	2009	DBLP BibTeX RDF
1	Hiroyuki Tanaka, Yoshinari Nomura, Hideo Taniguchi	Run-time Updating of Network Device Drivers.	NBiS	2009	DBLP DOI BibTeX RDF
1	Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum	Fault isolation for device drivers.	DSN	2009	DBLP DOI BibTeX RDF
1	Shakeel Butt, Vinod Ganapathy, Michael M. Swift, Chih-Cheng Chang	Protecting Commodity Operating System Kernels from Vulnerable Device Drivers.	ACSAC	2009	DBLP DOI BibTeX RDF
1	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco	Correct-by-construction generation of device drivers based on RTL testbenches.	DATE	2009	DBLP BibTeX RDF
1	Franco Fummi, Davide Quaglia, Sara Vinco, Giovanni Perbellini, Saul Saggin	Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform.	MTV	2009	DBLP DOI BibTeX RDF
1	Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black	Fast byte-granularity software fault isolation.	SOSP	2009	DBLP DOI BibTeX RDF	device drivers, isolation
1	Asim Kadav, Matthew J. Renzelmann, Michael M. Swift	Tolerating hardware device failures in software.	SOSP	2009	DBLP DOI BibTeX RDF	reliability, debugging, code generation, recovery, device drivers
1	Aravind Menon, Simon Schubert, Willy Zwaenepoel	TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers.	ASPLOS	2009	DBLP DOI BibTeX RDF	virtualization
1	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
1	Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato	BitVisor: a thin hypervisor for enforcing i/o device security.	VEE	2009	DBLP DOI BibTeX RDF	parapass-through, shadow dma descriptor, virtual machine monitors, hypervisors, trusted computing base
1	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
1	Michal Kebrt, Ondrej Sery	UnitCheck: Unit Testing and Model Checking Combined.	ATVA	2009	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies	Intra-module Inference.	CAV	2009	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.	CAV	2009	DBLP DOI BibTeX RDF
1	Tim Trew	Creating Embedded Platforms with MDA: Where's the Sweet Spot?	ECMDA-FA	2009	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta	Semantic Reduction of Thread Interleavings in Concurrent Programs.	TACAS	2009	DBLP DOI BibTeX RDF
1	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith	Query-Driven Program Testing.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Shlomi Dolev, Reuven Yagel	Self-stabilizing device drivers.	TAAS	2008	DBLP DOI BibTeX RDF
1	Eyad Alkassar, Mark A. Hillebrand	Formal Functional Verification of Device Drivers.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Ulrich Margull, Michael Kersten, Nikolaus Regnat	A Model-Based Development Method for Device Drivers.	GI Jahrestagung	2008	DBLP BibTeX RDF
1	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
1	François Armand, Michel Gien, Gilles Maigné, Gregory Mardinian	Shared device driver model for virtualized mobile handsets.	MobiVirt	2008	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
1	John W. McCormick	Ada and software engineering education: one professor's experiences.	SIGAda	2008	DBLP DOI BibTeX RDF	model railroads, model trains, real-time, education, ada, c, embedded, laboratory
1	Sanjay Kumar, Karsten Schwan	Netchannel: a VMM-level mechanism for continuous, transparentdevice access during VM migration.	VEE	2008	DBLP DOI BibTeX RDF	live VM migration, virtualization, I/O devices
1	Roman Chertov, Sonia Fahmy, Ness B. Shroff	Fidelity of network simulation and emulation: A case study of TCP-targeted denial of service attacks.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	low-rate TCP-targeted attacks, Simulation, congestion control, TCP, emulation, testbeds, denial of service attacks
1	Manuel Mendonça, Nuno Neves	Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities.	EDCC	2008	DBLP DOI BibTeX RDF
1	Weijun Zhang, Yujie Dun, Weixiang Shi, Baogang Miao, Bingo Zhang	High Productivity Computing System Based on FPGA and Its Application on Plasma Simulation.	HPCC	2008	DBLP DOI BibTeX RDF
1	Stephan Korsholm, Martin Schoeberl, Anders P. Ravn	Interrupt Handlers in Java.	ISORC	2008	DBLP DOI BibTeX RDF
1	Roberto Jung Drebes, Takashi Nanya	Limitations of the Linux Fault Injection Framework to Test Direct Memory Access Address Errors.	PRDC	2008	DBLP DOI BibTeX RDF
1	Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell	Cloaker: Hardware Supported Rootkit Concealment.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	security, operating system, rootkit, ARM
1	Paul A. Karger, David Safford	I/O for Virtual Machine Monitors: Security and Performance Issues.	IEEE Security & Privacy	2008	DBLP DOI BibTeX RDF
1	Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn	Scalable Shape Analysis for Systems Code.	CAV	2008	DBLP DOI BibTeX RDF
1	Haksoo Choi, Chanmin Yoon, Hojung Cha	Device Driver Abstraction for Multithreaded Sensor Network Operating Systems.	EWSN	2008	DBLP DOI BibTeX RDF	Multithreaded sensor network operating systems, device driver abstraction
1	Hyun Jun Jang, Dae Won Hwang, Eul-Gyu Im	Data Protection in Memory Using Byte Reordering.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Information Security, Data Protection, Memory protection
1	Vaidy S. Sunderam	From Parallel Virtual Machine to Virtual Parallel Machine: The Unibus System.	PVM/MPI	2008	DBLP DOI BibTeX RDF
1	Peter Boonstoppel, Cristian Cadar, Dawson R. Engler	RWset: Attacking Path Explosion in Constraint-Based Test Generation.	TACAS	2008	DBLP DOI BibTeX RDF
1	Neil D. Jones, René Rydhof Hansen	CTL as an Intermediate Language.	VMCAI	2008	DBLP DOI BibTeX RDF
1	Yoann Padioleau, Julia L. Lawall, Gilles Muller	SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Levis	Integrating concurrency control and energy management in device drivers.	SOSP	2007	DBLP DOI BibTeX RDF	device driver architecture, concurrency, energy, tinyOS
1	Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha	Microdrivers: A New Architecture for Device Drivers.	HotOS	2007	DBLP BibTeX RDF
1	Ram Kumar, Eddie Kohler, Mani B. Srivastava	Harbor: software-based memory protection for sensor nodes.	IPSN	2007	DBLP DOI BibTeX RDF	software fault isolation, memory protection
1	Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie	A buffer overflow benchmark for software model checkers.	ASE	2007	DBLP DOI BibTeX RDF	model checking, benchmark, buffer overflow, array bounds checking
1	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Proving thread termination.	PLDI	2007	DBLP DOI BibTeX RDF	model checking, concurrency, formal verification, program verification, threads, termination
1	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv	Thread-modular shape analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, concurrent programming, shape analysis