Log in

Relevant bibliographies by topics / Electronic publishing Computer programs / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Electronic publishing Computer programs.

Dissertations / Theses on the topic 'Electronic publishing Computer programs'

Author: Grafiati

Published: 10 December 2022

Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Electronic publishing 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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Kowalczyk, Thomas L. "Performance analysis of text-oriented printing using PostScript /." Online version of thesis, 1988. http://hdl.handle.net/1850/10451.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Robledo, Arcos Maria Andrea. "Electronic design and publishing for the Mexican textiles exhibition /." Online version of thesis, 1990. http://hdl.handle.net/1850/11249.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

McManigal, Gerald F. "An electronic bulletin board for UNIX based systems." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9935.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Marlow, Simon David. "Deforestation for higher-order functional programs." Thesis, University of Glasgow, 1995. http://theses.gla.ac.uk/4818/.

Full text

Abstract:

Functional programming languages are an ideal medium for program optimisations based on source-to-source transformation techniques. Referential transparency affords opportunities for a wide range of correctness-preserving transformations leading to potent optimisation strategies. This thesis builds on deforestation, a program transformation technique due to Wadler that removes intermediate data structures from first-order functional programs. Our contribution is to reformulate deforestation for higher-order functional programming languages, and to show that the resulting algorithm terminates g

APA, Harvard, Vancouver, ISO, and other styles

5

Collins, Graham Richard McFarlane. "Supporting formal reasoning about functional programs." Thesis, University of Glasgow, 2001. http://theses.gla.ac.uk/4609/.

Full text

Abstract:

It is often claimed that functional programming languages, and in particular pure functional languages are suitable for formal reasoning. This claim is supported by the fact that many people in the functional programming community do reason about languages and programs in a formal or semi-formal way. Different reasoning principles such as equational reasoning, induction and co-induction, are used, depending on the nature of the problem. Using a computer program to check the application of rules and to mechanise the tedious bookkeeping involved can simplify proofs and provide more confidence in

APA, Harvard, Vancouver, ISO, and other styles

6

Mareček, Jakub. "Exploiting structure in integer programs." Thesis, University of Nottingham, 2012. http://eprints.nottingham.ac.uk/49276/.

Full text

Abstract:

The thesis argues the case for exploiting certain structures in integer linear programs. Integer linear programs are optimisation problems, where one minimises or maximises a linear function of variables, whose values are required to be integral as well as satisfying certain linear equalities and inequalities. For such an abstract problem, there are very good general-purpose solvers. The state of the art in such solvers is an approach known as “branch and bound”. The performance of such solvers depends crucially on four types of in-built heuristics: primal, improvement, branching, and cut-sepa

APA, Harvard, Vancouver, ISO, and other styles

7

Faw, Bruce Duane. "A system for the application of computer mediated communication to scholarly discourse." CSUSB ScholarWorks, 1996. https://scholarworks.lib.csusb.edu/etd-project/1275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Quigley, Claire Louise. "A programming logic for Java bytecode programs." Thesis, University of Glasgow, 2004. http://theses.gla.ac.uk/3030/.

Full text

Abstract:

One significant disadvantage of interpreted bytecode languages, such as Java, is their low execution speed in comparison to compiled languages like C. The mobile nature of bytecode adds to the problem, as many checks are necessary to ensure that downloaded code from untrusted sources is rendered as safe as possible. But there do exist ways of speeding up such systems. One approach is to carry out static type checking at load time, as in the case of the Java Bytecode Verifier. This reduces the number of runtime checks that must be done and also allows certain instructions to be replaced by fast

APA, Harvard, Vancouver, ISO, and other styles

9

Fisher, David B. "Expert systems in typography /." Online version of thesis, 1990. http://hdl.handle.net/1850/10583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Chen, Chih-Ming. "The economic feasibility of Computer-to-Plate technology for use in magazine production /." Online version of thesis, 1995. http://hdl.handle.net/1850/12176.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Simic, Stella. "Bit-precise Verification of Numerical Properties in Fixed-point Programs." Thesis, IMT Alti Studi Lucca, 2022. http://e-theses.imtlucca.it/365/1/Simic_phdthesis.pdf.

Full text

Abstract:

Numerical software is prone to inaccuracies due to the finite representation of numbers. These inaccuracies propagate, possibly non-linearly, throughout the statements of a program, making it hard to predict the accumulated errors. Moreover, in programs that contain control structures, numerical errors can affect the control flow. As a result of these inaccuracies, reachability, and thus safety, may be altered with respect to the intended infinite-precision computation. This thesis considers programs that use fixed-point arithmetic to compute over non-integer quantities in finite precision. We

APA, Harvard, Vancouver, ISO, and other styles

12

Yao, Yuan. "Robust execution of belief-desire-intention-based agent programs." Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/46948/.

Full text

Abstract:

Belief-Desire-Intention (BDI) agent systems are a popular approach to building intelligent agents for complex and dynamic domains. In the BDI approach, agents select plans to achieve their goals based on their beliefs. When BDI agents pursue multiple goals in parallel, the interleaving of steps in different plans to achieve goals may result in conflicts, e.g., where the execution of a step in one plan makes the execution of a step in another concurrently executing plan impossible. Conversely, plans may also interact positively with each other, e.g., where the execution of a step in one plan as

APA, Harvard, Vancouver, ISO, and other styles

13

Human, TM. "The design and development of a microprocessor based control system for an electric rail transport system." Thesis, Cape Technikon, 1988. http://hdl.handle.net/20.500.11838/1121.

Full text

Abstract:

Thesis (Masters Diploma (Technology) Cape Technikon, 1988<br>Radioactivity and radioactive radiation are two scientific phenomena which man has always approached with great caution, if not fear. Radioactive radiation cannot be sensed by any of the human senses and experience has proved just how hazardous it can be to the human body. This caution is therefore by no means unfounded and through the years a set of standards has been derived as to what can be regarded as a safe dose to the human body. At the National Accelerator Centre radioisotopes are being produced by a chemical recovery process

APA, Harvard, Vancouver, ISO, and other styles

14

Setiowijoso, Liono. "Data Allocation for Distributed Programs." PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5102.

Full text

Abstract:

This thesis shows that both data and code must be efficiently distributed to achieve good performance in a distributed system. Most previous research has either tried to distribute code structures to improve parallelism or to distribute data to reduce communication costs. Code distribution (exploiting functional parallelism) is an effort to distribute or to duplicate function codes to optimize parallel performance. On the other hand, data distribution tries to place data structures as close as possible to the function codes that use it, so that communication cost can be reduced. In particular,

APA, Harvard, Vancouver, ISO, and other styles

15

Cordova, Hector. "Analysis of a parallelized neural network training program implemented using MPI and RPCs." 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

16

Liang, Donglin. "Developing practical program analyses for programs with pointers." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/8203.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Bickerstaff, Lisa. "Docutech open job submode simulation : a masters of fine arts thesis /." Online version of thesis, 1993. http://hdl.handle.net/1850/11965.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Escalante, Marco Antonio. "Probabilistic timing verification and timing analysis for synthesis of digital interface controllers." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0023/NQ36637.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Lindoo, Edward C. "The Future of Newspapers A Study of the World Wide Web And Its Relationship to electronic Publishing of Newspaper." NSUWorks, 1998. http://nsuworks.nova.edu/gscis_etd/672.

Full text

Abstract:

The purpose of this study was to determine the effects that the World Wide Web (Web) is having on newspaper publishing. With the development of the Web, more than 4,000 electronic publishers have created Web sites, and are now in competition, not only with each other, but also with traditional media such as newspaper, magazines, radio and television. Due to a variety of factors, including advertisers expanding into Web markets, newspaper publishers perceive this new competition to be not only the most immediate, but also the most serious, systemic, long-term threat to traditional newspaper pub

APA, Harvard, Vancouver, ISO, and other styles

20

Aubrey-Jones, Tristan. "Synthesizing imperative distributed-memory implementations from functional data-parallel programs." Thesis, University of Southampton, 2015. https://eprints.soton.ac.uk/381650/.

Full text

Abstract:

Distributed memory architectures such as Linux clusters have become increasingly common butremain difficult to program. We target this problem and present a noveltechnique to automatically generate data distribution plans, and subsequently MPI implementations in C++,from programs written in a functional core language. This framework encodes distributed data layouts as types, which are then used both to search (via type inference) for optimal data distribution plans and to generate the MPI implementations. The main novelty of our approach is that it supports multiple collections, distributed ar

APA, Harvard, Vancouver, ISO, and other styles

21

Williams, Stanley Eugene. "Methods for storing, generating, and displaying characters to a graphics computer terminal." Virtual Press, 1987. http://liblink.bsu.edu/uhtbin/catkey/483079.

Full text

Abstract:

This creative project investigates a method for translating a run-length encoded data file of letterforms into bit mapped images. Each letterform is broken (cracked) into primitive strokes. Each primitive stroke is represented by equally spaced runlength spline points within a 72 unit counting system. The strokes are ordered from left to right, allowing a direct scan-line conversion using an on-off character fill. Most commercial letterforms are stored in an outline format. Outline letterfomrs must be converted to vector edges, and then quick sorted into two dimensional arrays of edges for sca

APA, Harvard, Vancouver, ISO, and other styles

22

Tang, Dezheng. "Mapping Programs to Parallel Architectures in the Real World." PDXScholar, 1992. https://pdxscholar.library.pdx.edu/open_access_etds/4534.

Full text

Abstract:

Mapping an application program to a parallel architecture can be described as a multidimensional optimization problem. To simplify the problem, we divide the overall mapping process into three sequential substeps: partitioning, allocating, and scheduling, with each step using a few details of the program and architecture description. Due to the difficulty in accurately describing the program and architecture and the fact that each substep uses incomplete information, inaccuracy is pervasive in the real-world mapping process. We hypothesize that the inaccuracy and the use of suboptimal, heurist

APA, Harvard, Vancouver, ISO, and other styles

23

Cheng, Chung-Cho Oliver. "A tool for compiler testing /." Online version of thesis, 1987. http://hdl.handle.net/1850/10181.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Malireddy, Sailaja. "International student services opportunity database (ISSODB)." CSUSB ScholarWorks, 1997. https://scholarworks.lib.csusb.edu/etd-project/1408.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Clabough, Douglas M. "An electronic calendar system in a distributed UNIX environment." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9906.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Wendelborn, Andrew Lawrence. "Data flow implementations of a lucid-like programming language." Title page, contents and summary only, 1985. http://web4.library.adelaide.edu.au/theses/09PH/09phw471.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Cardone, Richard Joseph. "Language and compiler support for mixin programming." Access restricted to users with UT Austin EID Full text (PDF) from UMI/Dissertation Abstracts International, 2002. http://wwwlib.umi.com/cr/utexas/fullcit?p3077428.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Faruqui, Saif Ahmed. "Utility computing: Certification model, costing model, and related architecture development." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2756.

Full text

Abstract:

The purpose of the thesis was to propose one set of solutions to some of the challenges that are delaying the adoption of utility computing on a wider scale. These components enable effective deployment of utility computing, efficient look-up, and comparison of service offerings of different utility computing resource centers connected to the utility computing network.

APA, Harvard, Vancouver, ISO, and other styles

29

Hall, Maria Jean. "The A.D.E. taxonomy of spreadsheet application development." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 1992. https://ro.ecu.edu.au/theses/1696.

Full text

Abstract:

Spreadsheets are a major application in end-user computing, one of the fastest growing areas of computing. Studies have shown that 30% of spreadsheet applications contain errors. As major decisions are often made with the assistance of spreadsheets, the control of spreadsheet applications is a matter of concern to enduser developers, managers, EDP auditors and computer professionals. The application of appropriate controls to the spreadsheet development process requires prior categorisation of the spreadsheet application. The special-purpose A.D.E. (Application, Development, Environment) taxon

APA, Harvard, Vancouver, ISO, and other styles

30

Carothers, Christopher D. "Efficient execution of Time Warp programs on heterogeneous, NOW platforms." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/8475.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Garrido, Piedad, Jesús Tramullas, and Manuel Coll. "CONDITOR1: Topic Maps and DITA labelling tool for textual documents with historical information." Texas A&M University Libraries, 2009. http://hdl.handle.net/10150/105197.

Full text

Abstract:

Conditor is a software tool which works with textual documents containing historical information. The purpose of this work two-fold: firstly to show the validity of the developed engine to correctly identify and label the entities of the universe of discourse with a labelled-combined XTM-DITA model. Secondly to explain the improvements achieved in the information retrieval process thanks to the use of a object-oriented database (JPOX) as well as its integration into the Lucene-type database search process to not only accomplish more accurate searches, but to also help the future development of

APA, Harvard, Vancouver, ISO, and other styles

32

Lenhert, Lance Ronald. "The next generation: A look at where today's enterprise resource planning (ERP) systems came from and where technology is heading." CSUSB ScholarWorks, 2000. https://scholarworks.lib.csusb.edu/etd-project/1689.

Full text

Abstract:

"Currently, the largest barrier to any given market usually involves capital. If a company does not have enough investment capital to start with, it could fail before it even gets started. However, there is a new component that affects some of the largest corporations in the world. The problem relates to being able to sustain current internal processing, as well as adapt and grow in new markets with higher volumes. There are systems out there today that claim to address these issues along with e-commerce and other electronic sharing of information."

APA, Harvard, Vancouver, ISO, and other styles

33

Odom, Stuart A. "Translator writer systems." Master's thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-12232009-020105/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Kondo, Boubacar. "An investigation of parallel algorithms developed for graph problems and their implementation on parallel computers." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/770951.

Full text

Abstract:

With the recent development of VLSI (Very Large Scale Integration) technology, research has increased considerably on the development of efficient parallel algorithms for solutions of practical graph problems. Varieties of algorithms have already been implemented on different models of parallel computers. But not too much is known yet about the question of which model of parallel computer will efficiently and definitely fit every graph problem. In this investigation the study will focus on a comparative analysis of speedup and efficiency of parallel algorithms with parallel model of computatio

APA, Harvard, Vancouver, ISO, and other styles

35

Farkas, Alex Miklós. "Program construction and evolution in a persistent integrated programming environment /." Title page, contents and abstract only, 1995. http://web4.library.adelaide.edu.au/theses/09PH/09phf229.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Sobel, Ann E. Kelley. "Modular verification of concurrent systems /." The Ohio State University, 1986. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487267546983528.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Rayburn-Reeves, Daniel James. "Disambiguating human spoken diary entries using context information." View electronic thesis, 2008. http://dl.uncw.edu/etd/2008-1/rayburn-reevesd/danielrayburn-reeves.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Liang, Wen. "A compiler optimization framework for Concordia Parallel C." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ39488.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Hopper, Michael A. "A compiler framework for multithreaded parallel systems." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/15638.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Moon, Hae-Kyung. "Compiler construction for a simple Pascal-like language." Virtual Press, 1994. http://liblink.bsu.edu/uhtbin/catkey/897511.

Full text

Abstract:

In this thesis a compiler called SPASCAL is implemented which translates source programs in a simple Pascal-like language called SPASCAL into target programs in the VAX assembly language. This thesis clearly describes the main aspects of a compiler: lexical analysis and syntactic analysis, including the symbol-table routines and the error-handling routines. This thesis uses regular expressions to define the lexical structure and a context-free grammar to define the syntactic structure of SPASCAL. The compiler is constructed using syntax-directed translation, context-free grammars and a set of

APA, Harvard, Vancouver, ISO, and other styles

41

Lo, Jack Lee-jay. "Exploiting thread-level parallelism on simultaneous multithreaded processors /." Thesis, Connect to this title online; UW restricted, 1998. http://hdl.handle.net/1773/6946.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Lee, Kum-Yu Enid. "Privacy and security of an intelligent office form." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9930.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Mangolas, Athanassios Anastassios. "An Ada library for positional board games." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06082009-171004/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Hao, Yiyao. "Micro-payment exchange system." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2838.

Full text

Abstract:

The purpose of this project is to investigate the infrastructure requirements for a currency exchange market for holders of currencies issued through the Lightweight Currency Protocol. The Lightweight Currency Protocol was designed as a means for entities to issue currencies for the purpose of cultivating low value business transactions between collaborating nodes in a peer-to-peer market.

APA, Harvard, Vancouver, ISO, and other styles

45

Niu, Yanwei. "Parallelization and performance optimization of bioinformatics and biomedical applications targeted to advanced computer architectures." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file 1.05 Mb., 143 p, 2005. http://wwwlib.umi.com/dissertations/fullcit/3181852.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Harmon, Trev R. "On-Line Electronic Document Collaboration and Annotation." Diss., CLICK HERE for online access, 2006. http://contentdm.lib.byu.edu/ETD/image/etd1589.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Lung, Feng-Chun. "A portable traveler's weblog." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2832.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Nestra, Härmel. "Iteratively defined transfinite trace semantics and program slicing with respect to them /." Online version, 2006. http://dspace.utlib.ee/dspace/bitstream/10062/1109/5/nestraharmel.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Pragasam, Ravi L. "The MC68701 based spectrum analyzer." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9872.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Dou, Jie. "Evaluating Microsoft .NET technology: Implementation online store." CSUSB ScholarWorks, 2006. https://scholarworks.lib.csusb.edu/etd-project/3060.

Full text

Abstract:

The purpose of this project is to design, develop and implement an e-commerce shopping cart system based on Microsoft.NET technology and to evaluate ASP.NET technology by developing a shopping cart system.

APA, Harvard, Vancouver, ISO, and other styles

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!