Relevant bibliographies by topics / DOS device drivers (Computer programs)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'DOS device drivers (Computer programs)'

Author: Grafiati
Published: 4 June 2021
Last updated: 10 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'DOS device drivers (Computer programs).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "DOS device drivers (Computer programs)"

1

Kelso, John, Steven G. Satterfield, Lance E. Arsenault, Peter M. Ketchan, and Ronald D. Kriz. "DIVERSE: A Framework for Building Extensible and Reconfigurable Device-Independent Virtual Environments and Distributed Asynchronous Simulations." Presence: Teleoperators and Virtual Environments 12, no. 1 (February 2003): 19–36. http://dx.doi.org/10.1162/105474603763835314.

Full text
Abstract:
We present DIVERSE, a highly modular collection of complimentary software packages designed to facilitate the creation of device-independent virtual environments and distributed asynchronous simulations. DIVERSE is free/open source software, containing both end-user programs and C++ application programming interfaces (APIs). DPF is the DIVERSE graphics interface to OpenGL Performer. A program using the DPF API can run without modification on platforms ranging from fully immersive systems such as CAVEs to generic desktop workstations. The DIVERSE toolkit (DTK) contains all the nongraphical components of DIVERSE, such as networking utilities, hardware device access, and navigational techniques. It introduces a software implementation of networks of replicated noncoherent shared memory. It also introduces a method that seamlessly extends hardware drivers into interprocess and Internet hardware services. We will describe the design of DIVERSE and present a specific example of how it is being used to aid researchers.
APA, Harvard, Vancouver, ISO, and other styles
2

Zheng, Jianbin, and Yiping Wu. "Development of a Practical Method to Estimate the Eco-Level of Driver Performance." Journal of Advanced Transportation 2020 (October 26, 2020): 1–11. http://dx.doi.org/10.1155/2020/8151720.

Full text
Abstract:
Motor vehicle’s fuel consumption is one of the main sources of energy consumption in road transportation and is highly influenced by driver performance in the process of driving. Eco-driving behavior has been proved to be an effective way to improve the fuel efficiency of vehicles. Essential to the efforts towards saving vehicle fuel is the need to estimate the eco-level of driver performance accurately and practically. Depending on on-board diagnostics and Global Position devices, individual vehicle’s instantaneous fuel consumption, engine revolution and torque, speed, acceleration, and dynamic location were collected. Back-propagation network was adopted to explore the relationship between vehicle fuel consumption and the parameters of driver performance. Taking 700 data samples in basic segments of urban expressways as our training set and 100 data samples as validation test, we found the optimal model structure and parameters through repeated simulation experiments. In addition to the average and standard deviation value, the fluctuation frequency of driver performance data was also viewed as influence factors in eco-level estimation model. The average estimation accuracy of our developed model has been tested to be 96.37%, which is quite higher than that of linear regression model. The study results provide a practical way to evaluate drivers’ performance from the perspective of fuel consumption and thus give basis for rewarding best drivers within eco-driving programs.
APA, Harvard, Vancouver, ISO, and other styles
3

Pugin, Konstantin V., Kirill A. Mamrosenko, and Alexander M. Giatsintov. "Software architecture for display controller and operating system interaction." Radioelectronics. Nanosystems. Information Technologies. 13, no. 1 (March 27, 2021): 87–94. http://dx.doi.org/10.17725/rensit.2021.13.087.

Full text
Abstract:
Article describes solutions for developing programs that provide interaction between Linux operating system and multiple display controller hardware blocks (outputs), that use one clock generation IP-block with phase-locked loop (PLL). There is no API for such devices in Linux, thus new software model was developed. This model is based on official Linux GPU developer driver model, but was modified to cover case described earlier. Article describes three models for display controller driver development – monolithic, component and semi-monolithic. These models cannot cover case described earlier, because they assume that one clock generator should be attached to one output. A new model was developed, that is based on component model, but has additional mechanics to prevent race condition that can happen while using one clock generator with multiple outputs. Article also presents modified model for bootloaders graphics drivers. This model has been simplified over developed Linux model, but also has component nature (with less components) and race prevention mechanics (but with weaker conditions). Hardware interaction driver components that are developed using provided software models are interchangeable between Linux and bootloader.
APA, Harvard, Vancouver, ISO, and other styles
4

Gnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. "On the Model Checking Problem for Some Extension of CTL*." Modeling and Analysis of Information Systems 27, no. 4 (December 20, 2020): 428–41. http://dx.doi.org/10.18255/1818-1015-2020-4-428-441.

Full text
Abstract:
Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters. The result of the operation of such computing systems are infinite sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often used as formal models for them. The behavior of transducers is represented by binary relations on infinite sequences, and so, traditional applied temporal logics (like HML, LTL, CTL, mu-calculus) are poorly suited as specification languages, since omega-languages, not binary relations on omega-words are used for interpretation of their formulae. To provide temporal logics with the ability to define properties of transformations that characterize the behavior ofreactive systems, we introduced new extensions ofthese logics, which have two distinctive features: 1) temporal operators are parameterized, and languages in the input alphabet oftransducers are used as parameters; 2) languages in the output alphabet oftransducers are used as basic predicates. Previously, we studied the expressive power ofnew extensions Reg-LTL and Reg-CTL ofthe well-known temporal logics oflinear and branching time LTL and CTL, in which it was allowed to use only regular languages for parameterization of temporal operators and basic predicates. We discovered that such a parameterization increases the expressive capabilities oftemporal logic, but preserves the decidability of the model checking problem. For the logics mentioned above, we have developed algorithms for the verification of finite transducers. At the next stage of our research on the new extensions of temporal logic designed for the specification and verification of sequential reactive systems, we studied the verification problem for these systems using the temporal logic Reg-CTL*, which is an extension ofthe Generalized Computational Tree Logics CTL*. In this paper we present an algorithm for checking the satisfiability of Reg-CTL* formulae on models of finite state transducers and show that this problem belongs to the complexity class ExpSpace.
APA, Harvard, Vancouver, ISO, and other styles
5

Wulandana, Rachmadian. "Open Water Flume for Fluid Mechanics Lab." Fluids 6, no. 7 (July 3, 2021): 242. http://dx.doi.org/10.3390/fluids6070242.

Full text
Abstract:
Open water flume tanks with closed-loop circulation driven by centrifugal pumps are essential for hydro experimentation in academic settings as well as research centers. The device is also attractive due to its versatility and easy-to-maintain characteristics. Nevertheless, commercial open flume systems can be expensive and become less prioritized in engineering schools. This paper describes the design and fabrication of an affordable, medium-size water flume tank, suitable for education purposes. The central piece of the system is a transparent observation chamber where fluid experiments are typically conducted and observed. The expected maximum average water speed in the observation chamber of about 60 cm per second was achieved by the inclusion of a 3 hp centrifugal pump. The size and capacity of the current design were constrained by space limitation and available funds. The educational facility was assigned as a two-semester multi-disciplinary capstone senior design project incorporating students and faculty of mechanical, electrical, and computer engineering programs in our campus. The design process provides a training platform for skills in the area of Computer Aided Designs (CAD), Finite Element Analysis (FEA), Computational Fluid Dynamics (CFD), manufacturing, and experimentation. The multi-disciplinary project has contributed to the improvement of soft skills, such as time management, team working, and professional presentation, of the team members. The total material cost of the facility was less than USD 6000, which includes the pump and its variable frequency driver. The project was made possible due to the generous sponsor of the Vibration Institute.
APA, Harvard, Vancouver, ISO, and other styles
6

Kadav, Asim, and Michael M. Swift. "Understanding modern device drivers." ACM SIGPLAN Notices 47, no. 4 (June 2012): 87–98. http://dx.doi.org/10.1145/2248487.2150987.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Zhang, Qing-Li, Ming-Yuan Zhu, and Shuo-Ying Chen. "Automatic generation of device drivers." ACM SIGPLAN Notices 38, no. 6 (June 2003): 60–69. http://dx.doi.org/10.1145/885638.885649.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Leslie, Ben, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, and Gernot Heiser. "User-Level Device Drivers: Achieved Performance." Journal of Computer Science and Technology 20, no. 5 (September 2005): 654–64. http://dx.doi.org/10.1007/s11390-005-0654-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Khoroshilov, A. V., M. U. Mandrykin, V. S. Mutilin, and E. M. Novikov. "Static Verification Tools for C Programs and Linux Device Drivers: A Survey." Proceedings of the Institute for System Programming of RAS 22 (2012): 293–326. http://dx.doi.org/10.15514/ispras-2012-22-17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mizell, A. M. "Understanding device drivers in Operating System/2." IBM Systems Journal 27, no. 2 (1988): 170–84. http://dx.doi.org/10.1147/sj.272.0170.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "DOS device drivers (Computer programs)"

1

Loubser, Johannes Jacobus. "Device drivers : a comparison of different development strategies." Thesis, Stellenbosch : Stellenbosch University, 2000. http://hdl.handle.net/10019.1/51690.

Full text
Abstract:
Thesis (MSc)--Stellenbosch University, 2000.
ENGLISH ABSTRACT: Users are not supposed to modify an operating system kernel, but it is often necessary to add a device driver for a new peripheral device. Device driver development is a difficult and time-consuming process that must be performed by an expert. Drivers are difficult to debug and a malfunctioning driver could cause the operating system to crash. Ways are therefore needed to make the development of device drivers safer and easier. A number of different device driver development methods are examined in this thesis. An existing micro-kernel that supports in-kernel device drivers as well as extensible device drivers has been modified to support user-level and loadable drivers. These extensions ensured that all the development methods were implemented in the same environment and a comparison could thus be made on a fair basis. A comparison of the different methods with respect to the efficiency of the resulting device driver, as well as the ease of the development process, is presented.
AFRIKAANSE OPSOMMING: Gebruikers is nie veronderstelom aan 'n bedryfstelsel te verander nie, maar tog is dit gereeld nodig om 'n toesteldrywer vir 'n nuwe randapparaat by te voeg. Die ontwikkeling van 'n toesteldrywer is 'n tydrowende en moeilike proses en moet deur 'n kundige aangepak word. Toesteldrywers is moeilik om te ontfout en kan deur verkeerde werking die hele stelsel tot stilstand bring. Daar is dus tegnieke nodig om die ontwikkeling van toestelhanteerders makliker en veiliger te maak. 'n Aantal verskillende ontwikkelingsmetodes vir toesteldrywers word in hierdie tesis ondersoek. 'n Bestaande mikro-kern wat in-kern, sowel as uitbreibare toesteldrywers ondersteun, is aangepas om gebruikersvlak en laaibare toestelhanteerders te ondersteun. Hierdie uitbreiding het verseker dat al die ontwikkelingsmetodes in dieselfde omgewing geïmplementeer is. Dit was dus moontlik om die metodes op 'n regverdige grondslag te vergelyk. Die vergelyking is gedoen ten opsigte van die effektiwiteit van die resulterende toesteldrywer sowel as die moeilikheidsgraad van die ontwikkelingsproses.
APA, Harvard, Vancouver, ISO, and other styles
2

Cano, Agustin F. "DRVBLD: a UNIX Device Driver Builder." Thesis, University of North Texas, 1992. https://digital.library.unt.edu/ark:/67531/metadc501060/.

Full text
Abstract:
New peripheral devices are being developed at an ever increasing rate. Before such accessories can be used in the UNIX environment (UNIX is a trademark of Bell Laboratories), they must be able to communicate with the operating system. This involves writing a device driver for each device. In order to do this, very detailed knowledge is required of both the device to be integrated and the version of UNIX to which it will be attached. The process is long, detailed and prone to subtle problems and errors. This paper presents a menu-driven utility designed to simplify and accelerate the design and implementation of UNIX device drivers by freeing developers from many of the implementation specific low-level details.
APA, Harvard, Vancouver, ISO, and other styles
3

Tsegaye, Melekam Asrat. "A comparative study of the Linux and windows device driver architecture with a focus on IEEE1394 (high speed serial bus) drivers." Thesis, Rhodes University, 2004. http://hdl.handle.net/10962/d1004829.

Full text
Abstract:
New hardware devices are continually being released to the public by hardware manufactures around the world. For these new devices to be usable under a PC operating system, device drivers that extend the functionality of the target operating system have to be constructed. This work examines and compares the device driver architectures currently in use by two of the most widely used operating systems, Microsoft’s Windows and Linux. The IEEE1394 (high speed serial bus) device driver stacks on each operating system are examined and compared as an example of a major device driver stack implementation, including driver requirements for the upcoming IEEE1394.1 bridging standard.
APA, Harvard, Vancouver, ISO, and other styles
4

Tsai, Shang-Yuan. "Device profiling analysis in Device-Aware Network." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Dec%5FTsai.pdf.

Full text
Abstract:
Thesis (M.S. in Systems Engineering)--Naval Postgraduate School, December 2004.
Thesis advisor(s): Singh Gurminder, John Gibson. Includes bibliographical references (p. 65-66). Also available online.
APA, Harvard, Vancouver, ISO, and other styles
5

Swift, Michael M. "Improving the reliability of commodity operating systems /." Thesis, Connect to this title online; UW restricted, 2005. http://hdl.handle.net/1773/7019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lustbader, Steven B. (Steven Benjamin) 1980. "Feasibility of GNU/Linux as the OS for a PC-based medical product." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/16979.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, June 2003.
Includes bibliographical references (leaves 20-21).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Linux has become a viable alternative to Windows in recent years. This investigation looks at the feasibility of porting the software for a PC-based medical device to Linux. Using an open-source operating system frees developers from the constraints imposed by relying on a single company for the development platform. Several porting methods are considered. The port method chosen allows development on the Windows version to continue while simultaneously testing on Linux, without creating separate versions of the software. Differences in the way the software interacts with the operating system and with the hardware have to be addressed. A Linux environment was created in which to run the software and determine how to reconcile these differences. No major hurdles to using Linux exist, so it appears to be a viable platform on which to conduct future development.
by Steven B. Lustbader.
M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles
7

Jones, Robert M. "Content Aware Request Distribution for High Performance Web Service: A Performance Study." PDXScholar, 2002. https://pdxscholar.library.pdx.edu/open_access_etds/2662.

Full text
Abstract:
The World Wide Web is becoming a basic infrastructure for a variety of services, and the increases in audience size and client network bandwidth create service demands that are outpacing server capacity. Web clusters are one solution to this need for highperformance, highly available web server systems. We are interested in load distribution techniques, specifically Layer-7 algorithms that are content-aware. Layer- 7 algorithms allow distribution control based on the specific content requested, which is advantageous for a system that offers highly heterogenous services. We examine the performance of the Client Aware Policy (CAP) on a Linux/Apache web cluster consisting of a single web switch that directs requests to a pool of dual-processor SMP nodes. We show that the performance advantage of CAP over simple algorithms such as random and round-robin is as high as 29% on our testbed consisting of a mixture of static and dynamic content. Under heavily loaded conditions however, the performance decreases to the level of random distribution. In studying SMP vs. uniprocessor performance using the same number of processors with CAP distribution, we find that SMP dual-processor nodes under moderate workload levels provide equivalent throughput as the same number of CPU’s in a uniprocessor cluster. As workload increases to a heavily loaded state however, the SMP cluster shows reduced throughput compared to a cluster using uniprocessor nodes. We show that the web cluster’s maximum throughput increases linearly with the addition of more nodes to the server pool. We conclude that CAP is advantageous over random or round-robin distribution under certain conditions for highly dynamic workloads, and suggest some future enhancements that may improve its performance.
APA, Harvard, Vancouver, ISO, and other styles
8

Liu, Zhen. "A lightweight intrusion detection system for the cluster environment." Master's thesis, Mississippi State : Mississippi State University, 2003. http://sun.library.msstate.edu/ETD-db/theses/available/etd-07102003-152642/unrestricted/ZhenLiu%5Fthesis.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Somanathan, Muthuveer. "An initial operating system adaptation heuristic for Swap Cluster Max (SCM)." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rozendaal, A. (Abraham). "Towards a distributed real-time system for future satellite applications." Thesis, Stellenbosch : Stellenbosch University, 2003. http://hdl.handle.net/10019.1/53699.

Full text
Abstract:
Thesis (MScEng)--University of Stellenbosch, 2003.
ENGLISH ABSTRACT: The Linux operating system and shared Ethernet are alternative technologies with the potential to reduce both the development time and costs of satellites as well as the supporting infrastructure. Modular satellites, ground stations and rapid proto typing testbeds also have a common requirement for distributed real-time computation. The identified technologies were investigated to determine whether this requirement could also be met. Various real-time extensions and modifications are currently available for the Linux operating system. A suitable open source real-time extension called Real-Time Application Interface (RTAI) was selected for the implementation of an experimental distributed real-time system. Experimental results showed that the RTAI operating system could deliver deterministic realtime performance, but only in the absence of non-real-time load. Shared Ethernet is currently the most popular and widely used commercial networking technology. However, Ethernet wasn't developed to provide real-time performance. Several methods have been proposed in literature to modify Ethernet for real-time communications. A token passing protocol was found to be an effective and least intrusive solution. The Real-Time Token (RTToken) protocol was designed to guarantee predictable network access to communicating real-time tasks. The protocol passes a token between nodes in a predetermined order and nodes are assigned fixed token holding times. Experimental results proved that the protocol offered predictable network access with bounded jitter. An experimental distributed real-time system was implemented, which included the extension of the RTAI operating system with the RTToken protocol, as a loadable kernel module. Real-time tasks communicated using connectionless Internet protocols. The Real-Time networking (RTnet) subsystem of RTAI supported these protocols. Under collision-free conditions consistent transmission delays with bounded jitter was measured. The integrated RTToken protocol provided guaranteed and bounded network access to communicating real-time tasks, with limit overheads. Tests exhibited errors in some of the RTAI functionality. Overall the investigated technologies showed promise in being able to meet the distributed real-time requirements of various applications, including those found in the satellite environment.
AFRIKAANSE OPSOMMING: Die Linux bedryfstelsel en gedeelde Ethernet is geïdentifiseer as potensiële tegnologieë vir satelliet bedryf wat besparings in koste en vinniger ontwikkeling te weeg kan bring. Modulêr ontwerpte satelliete, grondstasies en ontwikkeling platforms het 'n gemeenskaplike behoefte vir verspreide intydse verwerking. Verskillende tegnologieë is ondersoek om te bepaal of aan die vereiste ook voldoen kan word. Verskeie intydse uitbreidings en modifikasies is huidiglik beskikbaar vir die Linux bedryfstelsel. Die "Real-Time Application Interface" (RTAI) bedryfstelsel is geïdentifiseer as 'n geskikte intydse uitbreiding vir die implementering van 'n eksperimentele verspreide intydse stelsel. Eksperimentele resultate het getoon dat die RTAI bedryfstelsel deterministies en intyds kan opereer, maar dan moet dit geskied in die afwesigheid van 'n nie-intydse verwerkingslas. Gedeelde Ethernet is 'n kommersiële network tegnologie wat tans algemeen beskikbaar is. Die tegnologie is egter nie ontwerp vir intydse uitvoering nie. Verskeie metodes is in die literatuur voorgestelom Ethernet te modifiseer vir intydse kommunikasie. Hierdie ondersoek het getoon dat 'n teken-aangee protokol die mees effektiewe oplossing is en waarvan die implementering min inbreuk maak. Die "Real-Time Token" (RTToken) protokol is ontwerp om voorspelbare netwerk toegang tot kommunikerende intydse take te verseker. Die protokol stuur 'n teken tussen nodusse in 'n voorafbepaalde volgorde. Nodusse word ook vaste teken hou-tye geallokeer. Eksperimentele resultate het aangedui dat die protokol deterministiese netwerk toegang kan verseker met begrensde variasies. 'n Eksperimentele verspreide intydse stelsel is geïmplementeer. Dit het ingesluit die uitbreiding van die RTAI bedryfstelsel met die RTToken protokol; verpak as 'n laaibare bedryfstelsel module. Intydse take kan kommunikeer met verbindinglose protokolle wat deur die "Real-Time networking" (RTnet) substelsel van RTAI ondersteun word. Onder ideale toestande is konstante transmissie vertragings met begrensde variasies gemeet. Die integrasie van die RTToken protokol het botsinglose netwerk toegang aan kommunikerende take verseker, met beperkte oorhoofse koste as teenprestasie. Eksperimente het enkele foute in die funksionaliteit van RTAI uitgewys. In die algemeen het die voorgestelde tegnologieë getoon dat dit potensiaal het vir verskeie verspreide intydse toepassings in toekomstige satelliet en ook ander omgewings.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "DOS device drivers (Computer programs)"

1

Networking device drivers. New York: Van Nostrand Reinhold, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Linux Device Drivers. Sebastopol, CA: O'Reilly & Associates, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Essential Linux device drivers. Upper Saddle River, NJ: Prentice Hall, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bryan, Woodruff, ed. Writing Windows: Virtual device drivers. Reading, Mass: Addison-Wesley, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pajari, George. Writing UNIX device drivers. Reading, Mass: Addison-Wesley Pub. Co., 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Writing Windows device drivers. Reading, Mass: Addison-Wesley, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

L, Tondo Clovis, ed. Writing UNIX device drivers in C. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

A, Parenti Mark, and Wojtas Al, eds. Writing device drivers: Tutorial and reference. Boston: Digital Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lai, Robert. Writing MS-DOS device drivers. Reading, Mass: Addison-Wesley Pub. Co., 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lai, Robert. Writing MS-DOS device drivers. Reading, Mass: Addison-Wesley, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "DOS device drivers (Computer programs)"

1

Chemuturi, Murali. "Programming Device Drivers." In Computer Programming for Beginners, 189–94. Boca Raton : Taylor & Francis, 2019.: Chapman and Hall/CRC, 2018. http://dx.doi.org/10.1201/9780429453250-17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dolev, Shlomi, and Reuven Yagel. "Self-stabilizing Device Drivers." In Lecture Notes in Computer Science, 276–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/978-3-540-49823-0_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mendonça, Manuel, and Nuno Neves. "Intercept: Profiling Windows Network Device Drivers." In Lecture Notes in Computer Science, 61–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38789-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kápl, Roman, and Pavel Parízek. "Endicheck: Dynamic Analysis for Detecting Endianness Bugs." In Tools and Algorithms for the Construction and Analysis of Systems, 254–70. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45237-7_15.

Full text
Abstract:
Abstract Computers store numbers in two mutually incompatible ways: little-endian or big-endian. They differ in the order of bytes within representation of numbers. This ordering is called endianness. When two computer systems, programs or devices communicate, they must agree on which endianness to use, in order to avoid misinterpretation of numeric data values. We present Endicheck, a dynamic analysis tool for detecting endianness bugs, which is based on the popular Valgrind framework. It helps developers to find those code locations in their program where they forgot to swap bytes properly. Endicheck requires less source code annotations than existing tools, such as Sparse used by Linux kernel developers, and it can also detect potential bugs that would only manifest if the given program was run on computer with an opposite endianness. Our approach has been evaluated and validated on the Radeon SI Linux OpenGL driver, which is known to contain endianness-related bugs, and on several open-source programs. Results of experiments show that Endicheck can successfully identify many endianness-related bugs and provide useful diagnostic messages together with the source code locations of respective bugs.
APA, Harvard, Vancouver, ISO, and other styles
5

Fontaine, Arnaud, Samuel Hym, and Isabelle Simplot-Ryl. "On-Device Control Flow Verification for Java Programs." In Lecture Notes in Computer Science, 43–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19125-1_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Christakis, Maria, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, and Valentin Wüstholz. "Automated Safety Verification of Programs Invoking Neural Networks." In Computer Aided Verification, 201–24. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_9.

Full text
Abstract:
AbstractState-of-the-art program-analysis techniques are not yet able to effectively verify safety properties of heterogeneous systems, that is, systems with components implemented using diverse technologies. This shortcoming is pinpointed by programs invoking neural networks despite their acclaimed role as innovation drivers across many application areas. In this paper, we embark on the verification of system-level properties for systems characterized by interaction between programs and neural networks. Our technique provides a tight two-way integration of a program and a neural-network analysis and is formalized in a general framework based on abstract interpretation. We evaluate its effectiveness on 26 variants of a widely used, restricted autonomous-driving benchmark.
APA, Harvard, Vancouver, ISO, and other styles
7

Bepari Nawazish, A., C. M. Ananda, K. S. Venkatesh, and C. Y. Gopinath. "Development and Integration of Graphical User Interface (GUI) with JUNGO Device Drivers for PCI Express Interface." In Innovations in Computer Science and Engineering, 589–98. Singapore: Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-7082-3_67.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Stepanovic, Stefan. "Incentivizing the Use of Quantified Self Devices: The Cases of Digital Occupational Health Programs and Data-Driven Health Insurance Plans." In Communications in Computer and Information Science, 73–86. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57847-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Baecker, Ronald M. "Safety." In Computers and Society. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198827085.003.0014.

Full text
Abstract:
Safety is often confused with security. A system or an environment may be secure, but if its normal operation does not achieve the intended goals, it may not be safe. Events will not progress as intended, and could go horribly wrong, even to the extent of grave injuries and loss of life. The more society relies upon digital technologies, the more we count on software to assure our safety. The issue of safety arises in a great variety of circumstances. Our discussion will start with dangers to the individual, then we will widen our focus to the organization, to society, and, finally, to the world. The digital divide that discourages internet use among older adults is due in part to threats posed to safe use of computers by ‘evil’ software such as programs that ‘phish’ for personal information, thereby gaining access to finances and committing identity theft, as we have discussed in the previous chapter. We shall enlarge upon this discussion by speaking of another risk—computer rage, which is caused by frustration when users cannot understand or manage the technology. Such instances are especially dangerous for senior citizens. We shall also discuss two ways in which the internet may not be safe for younger people: cyberbullying and revenge porn. We then examine a topic that arises in daily life: safety threats caused to pedestrians, bicyclists, and drivers by the continual use of distracting mobile devices. Our inability to control the costs of large-scale data processing implementations is a threat to the safety and health of organizations and governments, as is our inability to understand, modify, and fix large software systems that are no longer maintained by their creators. We shall describe several software disasters, both during their development and after they have been deployed and used. These include the software crisis at the turn of the century—the Y2K threat—which actually was averted, and several cases in which up to billions of dollars or pounds were wasted, including the decades-long saga of air traffic control in the USA.
APA, Harvard, Vancouver, ISO, and other styles
10

Huang, Lujun, Lei Xu, and Andrey E. Miroshnichenko. "Deep Learning Enabled Nanophotonics." In Advances and Applications in Deep Learning. IntechOpen, 2020. http://dx.doi.org/10.5772/intechopen.93289.

Full text
Abstract:
Deep learning has become a vital approach to solving a big-data-driven problem. It has found tremendous applications in computer vision and natural language processing. More recently, deep learning has been widely used in optimising the performance of nanophotonic devices, where the conventional computational approach may require much computation time and significant computation source. In this chapter, we briefly review the recent progress of deep learning in nanophotonics. We overview the applications of the deep learning approach to optimising the various nanophotonic devices. It includes multilayer structures, plasmonic/dielectric metasurfaces and plasmonic chiral metamaterials. Also, nanophotonic can directly serve as an ideal platform to mimic optical neural networks based on nonlinear optical media, which in turn help to achieve high-performance photonic chips that may not be realised based on conventional design method.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "DOS device drivers (Computer programs)"

1

Gorman, Kevin J., and Kourosh J. Rahnamai. "Rapid Prototyping of Fuzzy Logic Controllers." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/cie-1450.

Full text
Abstract:
Abstract The rapid prototyping of fuzzy logic controllers is accomplished by using the tools Matlab, Simulink, Fuzzy Logic Toolkit, and Real-Time Workshop. Device drivers were developed for Simulink for interfacing with DT2801 and DT2821 data acquisition boards. The fuzzy logic inference engine for the Fuzzy Logic Toolkit was modified to allow the systems to work as independent programs and to be downloadable to DSP (Digital Signal Processing) boards. Simulink is used to graphically implement fuzzy logic controllers. The Real-Time Workshop is used to compile blocks from Simulink into C code, then into an independent executable program, both on the PC and a dSpace DSP (Digital Signal Processing) board. Graphical interfaces are created and debugged by using dSPACE’s tools, Cockpit and Trace. By combining these tools, real-time fuzzy logic controllers are developed in laboratory environments.
APA, Harvard, Vancouver, ISO, and other styles
2

Tudor, Sarah M., Stephanie L. Carey, and Rajiv V. Dubey. "The Development of a Dynamic Adaptive Driving Simulator." In ASME 2014 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/imece2014-40152.

Full text
Abstract:
The ability to drive a car is an important skill for individuals with a spinal cord injury to maintain a high quality of life, particularly their freedom and independence. However, driving with a physical disability often requires the installation of an adaptive driving system to control steering, gas, and braking. The two main types of adaptive driving controls are mechanical and electrical, also known as drive by wire (DBW). DBW controls work by converting electric signals to mechanical actuators. Driving simulators are useful tools for adaptive driving systems because they allow users to test different control devices, to practice driving without the dangers of being on the road, and can be used as a safe way to evaluate disabled drivers. This study focused on the development of a dynamic driving simulator using DBW controls because most studies focus on mechanical controls and not DBW controls and often use static simulators. The simulator was developed using the Computer Assisted Rehabilitation Environment (CAREN) virtual reality system. The CAREN system (Motek Medical, Amsterdam, Netherlands) includes a six degree of freedom motion base, an optical motion capture system, a sound system, and a 180-degree projection screen. The two DBW controls, a lever device to control the gas and brake and a small wheel device to control steering, sent an electric signal to a Phidget board, which interfaced with the CAREN system. Several different driving scenarios were created and imported into CAREN’s D-Flow software. A program was developed in D-Flow to control the scene and motion of the platform appropriately based on the DBW controls via the Phidget. The CAREN system dynamically controlled the motion platform based on the user’s input. For example, if the user applied the brake suddenly, the user felt a deceleration from the motion platform moving backwards. The driving simulator showed the capability to provide dynamic feedback and, therefore, may be more realistic and beneficial than current static adaptive driving simulators. The dynamic adaptive driving simulator developed may improve driving training and performance of persons with spinal cord injuries. Future work will include testing the system with and without the dynamics from the moving platform to see how this type of feedback affects the user’s driving ability in the virtual environment.
APA, Harvard, Vancouver, ISO, and other styles
3

Butt, Shakeel, Vinod Ganapathy, Michael M. Swift, and Chih-Cheng Chang. "Protecting Commodity Operating System Kernels from Vulnerable Device Drivers." In 2009 Annual Computer Security Applications Conference (ACSAC). IEEE, 2009. http://dx.doi.org/10.1109/acsac.2009.35.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jodeit, Moritz, and Martin Johns. "USB Device Drivers: A Stepping Stone into Your Kernel." In 2010 European Conference on Computer Network Defense (EC2ND). IEEE, 2010. http://dx.doi.org/10.1109/ec2nd.2010.16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bai, Jia-Ju, Hu-Qiu Liu, Yu-Ping Wang, and Shi-Min Hu. "Complete Runtime Tracing for Device Drivers Based on LLVM." In 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC). IEEE, 2015. http://dx.doi.org/10.1109/compsac.2015.24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Manjikian, Naraig, Laszlo Katona, Alexander Ferdynus, Simon V. Chamlian, and Pavel Katkov. "Implementation and performance assessment of Linux device drivers for the coldfire MCF54418 microcontroller." In 2013 26th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE). IEEE, 2013. http://dx.doi.org/10.1109/ccece.2013.6567846.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Xiaoming, Zhang, and Song Xiaoying. "Net Devise Drive Program's Research and Implement in Embedded Linux Operating System." In 2009 International Forum on Computer Science-Technology and Applications. IEEE, 2009. http://dx.doi.org/10.1109/ifcsta.2009.163.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nemeth, David, and Troy I. Walda. "The Pipe Inspection Lifecycle." In 2014 10th International Pipeline Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/ipc2014-33594.

Full text
Abstract:
Energy Transfer has implemented a new, comprehensive field-inspection system for the pipe inspection lifecycle that encompasses aerial observations, pipe exposures, foreign line crossings, in-line inspections, anomaly remediation, pipe inspection, and integrity sheet generation. In order to ensure the integrity of the pipe inspection program, the field inspection solution required full audit-trail capabilities, front-side data validation, and full integration with the corporate-wide GIS and Engineering Data Management System. Additionally, to ensure the success of the new inspection program, the inspection solution required a highly intuitive and field user-friendly interface, the ability to work equally well in both connected and disconnected environments, interactive mapping functionality, very high reliability, and a process-driven architecture. Energy Transfer owns and operates approximately 43,000 miles of natural gas, natural gas liquids, refined products, and crude oil pipelines. Due to the size and diversity of Energy Transfer’s assets, the corporate GIS system must be distributed across seven independent instances consisting of server pools and large-scale relational database management systems (RDBMS). Although each system must be functionally independent, the field inspection system and the inspection process must interact with each server and RDBMS instance with equal functionality and be able to report on all pipe inspection activities across the enterprise. The inspection system is used by over 1,200 Energy Transfer employees and contractors, and approximately 15,000 inspections are performed annually. The system supports a variety of devices, such as: laptops, tablet computers, iOS devices (i.e., iPads, iPhones), and Android devices. Whether on foot, in vehicles or aircraft, users can enter information from the platform that best meets the needs of their individual environment. Information collected on any device is available for continuance of the pipe inspection lifecycle on any other device and is available in real time at the corporate offices via a Web portal. The Web portal provides visualization tools for both business and engineering analysis such as progress tracking and remediation planning. These functions are supported through the portal’s integrated mapping, dash boarding, and a reporting functionality that includes advanced search capabilities for both comparative and predictive analysis. In addition to utilization for the pipe inspection lifecycle, the inspection system is being used for a variety of other inspection and regulatory compliance-related activities, including: cathodic protection, incident reporting, corrosion assessment, DOT structure location, MAOP-MOP establishment, shallow cover, unmetered gas loss, and many more right-of-way related activities.
APA, Harvard, Vancouver, ISO, and other styles
9

Najjar, Yousef S. H. "Energy Conservation With Catalytic Cracking in the Refinery." In ASME 1990 International Gas Turbine and Aeroengine Congress and Exposition. American Society of Mechanical Engineers, 1990. http://dx.doi.org/10.1115/90-gt-181.

Full text
Abstract:
Fluidized-bed catalytic cracking is one of the most commonly used processes in petroleum refining to convert heavy high-boiling point components of crude oil into gasoline and distillate components. An energy conservation measure for such a process, utilizes an axial flow compressor which furnishes air for combustion in the regenerator where the coke deposits are burned off the catalyst and also drives the catalyst through the system. The flue gases from the regenerator are expanded in an expansion turbine which drives the compressor, whereas the excess energy is used to drive an electric generator. The exhaust gases are utilized further in a heat recovery boiler to produce process steam. A parametric study involving variation of air pressure and expander inlet temperature using specially devised computer program, was used to analyse the performance of the proposed system. Furthermore, the system is economically evaluated and compared with the conventional cracking system using a gas turbine engine. The proposed system offers leading performance and economic advantages in comparison with the conventional one.
APA, Harvard, Vancouver, ISO, and other styles
10

Davis, Edward P., R. Cengiz Ertekin, and H. Ronald Riggs. "A Buoy-Based WEC Device to Provide Low Power to Sensors." In ASME 2009 28th International Conference on Ocean, Offshore and Arctic Engineering. ASMEDC, 2009. http://dx.doi.org/10.1115/omae2009-80091.

Full text
Abstract:
Remote ocean instrumentation and monitoring techniques often rely on floating buoys with a variety of sensors to acquire time series measurements such as ambient noise, acoustic tracking or communications. The operating lifetime of small remote buoys is limited by onboard battery power. Remote acoustic sensors with hydrophone arrays, onboard RF transmitters, GPS receivers and other support electronics can draw up to 100–200W of continuous power in operation, limiting battery life in many cases to 12 to 24 hours between recharge. Recharging is inconvenient, and often impractical to the point that many compact sonobuoys are designed to scuttle themselves after about a day. The associated cost, as well as the environmental impact of sending large amounts of battery and electronic hardware to the bottom of the ocean, is a strong driver for developing renewable ocean power sources for semi-permanent unattended buoy deployments. In support of this vision, a simple, low-cost buoy size platform capable of generating power by scavenging energy from ocean wave motion is developed and demonstrated. The phase 1 prototype is designed to deliver a minimum of 50W of average power from the wave motion characteristics. The motions and the resulting tension in the mooring line are calculated through a linear potential-based computer program. The heaving-body WEC (Wave Energy Converter) design and the modeling are discussed. The design data and the calculations are presented as part of proof of concept of the power generation mechanism and the buoy.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'DOS device drivers (Computer programs)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography