Log in

Relevant bibliographies by topics / BASEX (Computer program language) / Dissertations / Theses

To see the other types of publications on this topic, follow the link: BASEX (Computer program language).

Dissertations / Theses on the topic 'BASEX (Computer program language)'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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 'BASEX (Computer program language).'

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

Veselinov, Roman Nikolov. "Formalization and verification of rewriting-based security polices." Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-043008-165615/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Chamberlain, Bradford L. "The design and implementation of a region-based parallel programming language /." Thesis, Connect to this title online; UW restricted, 2001. http://hdl.handle.net/1773/6953.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mehldau, Gerhard 1959. "A RULE-BASED PROGRAMMING LANGUAGE AND ITS APPLICATION TO IMAGE RECOGNITION." Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/276360.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Haugh, J. Steven. "The design of a virtual fact base for Prolog." Master's thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-02022010-020103/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Dorlando, Laura Morales. "A Computer-Based Course to Teach Speech Acts: Prototype for the Technology Assisted Language Learning Program." BYU ScholarsArchive, 2006. https://scholarsarchive.byu.edu/etd/1051.

Full text

Abstract:

The following report discusses the design and formative evaluation of a prototype for a computer-based course to teach speech acts as part of the Technology Assisted Language Learning (TALL) program. The report includes a literature review on speech acts and current methods and strategies for language teaching and instructional design. Next, there is a description of the lessons and the design process, as well as a summary of the formative evaluation. Following is the prototype of the lesson on apologies. The report concludes with a discussion of the project's limitations and suggestions for future research.

APA, Harvard, Vancouver, ISO, and other styles

6

Graunke, Kenneth William. "Extensible Scheduling in a Haskell-based Operating System." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/1.

Full text

Abstract:

This thesis presents Lighthouse, an experimental branch of the Haskell-based House operating system which integrates Li et al.'s Lightweight Concurrency framework. First and foremost, it improves House's viability as a "real operating system" by providing a new extensible scheduler framework which makes it easy to experiment with different scheduling policies. In particular, Lighthouse extends Concurrent Haskell with thread priority and implements a priority-based scheduler which significantly improves system responsiveness when compared with GHC's normal round-robin scheduler. Even while doing this, it improves on House's claim of being "written in Haskell" by moving a whole subsystem out of the complex C-based runtime system and into Haskell itself. In addition, Lighthouse also includes an alternate, simpler implementation of Lightweight Concurrency which takes advantage of House's unique setting (running directly on uniprocessor x86 hardware). This experience sheds light on areas that need further attention before the system can truly be viable---primarily interactions between blackholing and interrupt handling. In particular, this thesis uncovers a potential case of self-deadlock and suggests potential solutions. Finally, this work offers further insight into the viability of using high-level languages such as Haskell for systems programming. Although laziness and blackholing present unique problems, many parts of the system are still much easier to express in Haskell than traditional languages such as C.

APA, Harvard, Vancouver, ISO, and other styles

7

Fang, Weijian. "Distributed object sharing for cluster-based Java virtual machine /." View the Table of Contents & Abstract, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30575163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Fang, Weijian, and 方維堅. "Distributed object sharing for cluster-based Java virtual machine." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B45014772.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Chen, Chun-Ting 1955. "IMPLEMENTATION OF THE MODEL BASE CONCEPT IN SIMSCRIPT II.5: APPLICATION TO COMPUTER NETWORK DESIGN." Thesis, The University of Arizona, 1987. http://hdl.handle.net/10150/291990.

Full text

Abstract:

This thesis presents an implementation of the model base concept in SIMSCRIPT II.5. It shows two principles in designing a flexible general simulation system. First of all, the input and output port intercommunication and synchronization should be done by an I/O coupling scheme, i.e. a coordinator. Second, every input port should be a separate file in the model base. Users can retrieve these files to couple them together and evaluate the simulation run. A well-designed computer network model base is shown through several examples. It will help the computer network system design to be done in a modular, hierarchical, coordinated fashion.

APA, Harvard, Vancouver, ISO, and other styles

10

Kuo, Yung-Li. "Developing a rule-based expert system with C programming language." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/552943.

Full text

Abstract:

Expert system techniques are now being incorporated successfully in commercial computer software packages. This thesis introduces the techniques of developing a rule-based expert system in a general-purpose programming language -- C. The topics of this thesis include significance of expert system shells and approaches used, structure of the knowledge base, loading of the knowledge base, manipulation of the probabilities of rule attributes, and implementation of the inference engine. The inference engine uses the information that users supply to find an object that matches. Today C language is one of the most popular programming languages in use and C compilers consistently produce extremely fast and efficient executable programs. Thisthesisdemonstrates that C language is an appropriate computer language for a rule-based expert system.
Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

11

Khan, Fazal U. "Development of a C-based simulation toolkit supporting discrete, continuous, and combined simulation." Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-02132009-170834/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Dharod, Vishal. "Web based internship management system: A collaborative coordinating tool." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2575.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

D'Orlando, Laura Morales 1974. "A computer-based course to teach speech acts : prototype for the technology assisted language learning program /." Diss., CLICK HERE for online access, 2006. http://contentdm.lib.byu.edu/ETD/image/etd1235.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Cuddihy, Paul. "Compiling GEN-X knowledge bases into "C" /." Online version of thesis, 1991. http://hdl.handle.net/1850/10792.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Yoo, Daniel. "Alchemy -- Transmuting base specifications into implementations." Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-022609-151429/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ghica, Dan R. "A games-based foundation for compositional software model checking /." Oxford : Oxford University Computing Laboratory, 2002. http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-13.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

18

Wilson, Thomas. "The Omnibus language and integrated verification approach." Thesis, University of Stirling, 2007. http://hdl.handle.net/1893/260.

Full text

Abstract:

This thesis describes the Omnibus language and its supporting framework of tools. Omnibus is an object-oriented language which is superficially similar to the Java programming language but uses value semantics for objects and incorporates a behavioural interface specification language. Specifications are defined in terms of a subset of the query functions of the classes for which a frame-condition logic is provided. The language is well suited to the specification of modelling types and can also be used to write implementations. An overview of the language is presented and then specific aspects such as subtleties in the frame-condition logic, the implementation of value semantics and the role of equality are discussed. The challenges of reference semantics are also discussed. The Omnibus language is supported by an integrated verification tool which provides support for three assertion-based verification approaches: run-time assertion checking, extended static checking and full formal verification. The different approaches provide different balances between rigour and ease of use. The Omnibus tool allows these approaches to be used together in different parts of the same project. Guidelines are presented in order to help users avoid conflicts when using the approaches together. The use of the integrated verification approach to meet two key requirements of safe software component reuse, to have clear descriptions and some form of certification, are discussed along with the specialised facilities provided by the Omnibus tool to manage the distribution of components. The principles of the implementation of the tool are described, focussing on the integrated static verifier module that supports both extended static checking and full formal verification through the use of an intermediate logic. The different verification approaches are used to detect and correct a range of errors in a case study carried out using the Omnibus language. The case study is of a library system where copies of books, CDs and DVDs are loaned out to members. The implementation consists of 2278 lines of Omnibus code spread over 15 classes. To allow direct comparison of the different assertion-based verification approaches considered, run-time assertion checking, extended static checking and then full formal verification are applied to the application in its entirety. This directly illustrates the different balances between error coverage and ease-of-use which the approaches offer. Finally, the verification policy system is used to allow the approaches to be used together to verify different parts of the application.

APA, Harvard, Vancouver, ISO, and other styles

19

Lyon, Bruce. "Teraphim : a domain-independent framework for constructing blackboard-based expert systems in Prolog /." Online version of thesis, 1987. http://hdl.handle.net/1850/8858.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Wu, Jichuan. "Web-based e-mail client for computer science." CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2462.

Full text

Abstract:

The project is a web e-mail application to provide a web page interface for all CSCI faculty, staff and students to handle their e-mails. The application is written by JSP, Java Servlets, JavaScript and custom JSP tag libraries. Regular e-mail capabilities have been enhanced by the feature of allowing users to store and manage messages by day (store to daily folders, view in daily folders, append notes for that day).

APA, Harvard, Vancouver, ISO, and other styles

21

Vu, Dung Tien. "The web-based database management system for the computer science graduate program." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2557.

Full text

Abstract:

The purpose of this project is to provide faculty and students a secure access to graduate student resources and it will also cover database design, web development, security, migration, and deployment of the new system.

APA, Harvard, Vancouver, ISO, and other styles

22

James, Stuart George. "Developing a flexible and expressive realtime polyphonic wave terrain synthesis instrument based on a visual and multidimensional methodology." Connect to thesis, 2005. http://portal.ecu.edu.au/adt-public/adt-ECU2006.0037.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Nie, Chunsheng. "A visual language for part21 file based on express data model." Ohio University / OhioLINK, 2000. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1172603859.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Johannes, Elisabeth. "DEUTSCH 1, 2, 3!! : an interactive, multimedia, web-based program for the German foreign language classroom." Thesis, Link to the online version, 2007. http://hdl.handle.net/10019/741.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rimmasch, Kathryn. "A Process-Based CALL Assessment: A Comparison of Input Processing and Program Use Behavior by Activity Type." Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd2220.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Palanisamy, Karthikeyan. "High Level Preprocessor of a VHDL-based Design System." PDXScholar, 1994. https://pdxscholar.library.pdx.edu/open_access_etds/4776.

Full text

Abstract:

This thesis presents the work done on a design automation system in which high-level synthesis is integrated with logic synthesis. DIADESfa design automation system developed at PSU, starts the synthesis process from a language called ADL. The major part of this thesis deals with transforming the ADL -based DIADES system into a VHDL -based DIADES system. In this thesis I have upgraded and modified the existing DIADES system so that it becomes a preprocessor to a comprehensive VHDL -based design system from Mentor Graphics. The high-level synthesis in the DIADES system includes two stages: data path synthesis and control unit synthesis. The conversion of data path synthesis is done in this thesis. In the DIADES system a digital system is described on the behavioral level in terms of variables and operations using the language ADL. The digital system described in ADL is compiled to a format called GRAPH language. In the GRAPH language the behavior of a digital system is represented by a specific sequence of program statements. The descriptions in the GRAPH language is compiled to a format called STRU CT language. The system is described in the STRU CT language in terms of lists of nodes and arrows. The main task of this thesis is to convert the descriptions in the GRAPH language and the descriptions in the STRUCT language to the VHDL format. All the generated VHDL Code will be Mentor Graphics VHDL format compatible, and all the VHDL code can be compiled, simulated and synthesised by the Mentor Graphics tools.

APA, Harvard, Vancouver, ISO, and other styles

27

Hariharan, Sriram. "Image retrieval by spatial similarity a Java - based prototye." Ohio : Ohio University, 1998. http://www.ohiolink.edu/etd/view.cgi?ohiou1176496040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Wilson, Jeffrey K. "A C-based simulation framework for automated guided vehicle systems." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-02132009-172242/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Ji, Katrina Yun. "ADAP: A component-based model using design patterns with applications in E-Commerce." CSUSB ScholarWorks, 2000. https://scholarworks.lib.csusb.edu/etd-project/1694.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Huffstetter, Mary. "The effects of an internet-based program on the early reading and oral language skills of at-risk preschool students and their teachers' perceptions of the program." Scholar Commons, 2005. http://scholarcommons.usf.edu/etd/2929.

Full text

Abstract:

This investigation examined the effects of instruction, within the context of the Headsprout Reading Basics program, on the oral language and early reading skills of at-risk preschool students, and their teachers perceptions of the program. Random assignment was used in a pretest-posttest, control group design to assess the effects of this program. Thirty-one students, across two preschool settings, participated in the experimental group, and 31 students participated in the comparison group. The experimental group received instruction through the Headsprout Reading Basics program, which teaches the alphabetic principle, decoding strategies, print awareness, vocabulary, and deriving meaning from texts. The comparison group received instruction through Millies Math House, which teaches numbers, shapes, counting, sizes, patterns, quantities, sequences, addition, and subtraction. Daily instruction was provided for 30 minutes over a period of eight weeks. Oral language skills were measured using the Test of Language Development-Primary: 3rd edition (TOLD-3) and early reading skills were measured using the Test of Early Reading Ability- 3rd edition (TERA-3). Teachers and teachers assistants perceptions of the Headsprout Reading Basics program also were assessed through analysis of their responses to a structured, open-ended interview. Results indicated that students who received instruction through the Headsprout Reading Basics program exhibited gains in oral language and early reading skills that were statistically higher than the students who did not receive this instruction. Effect sizes associated with these gains were found to be large. Examination of the effects of gender, and minutes of instruction received did not yield significant statistical differences. Analysis of interview data indicated that the teachers and teachers assistants viewed Headsprout Reading Basics as a desirable way to increase the oral language and early reading skills of their students and would continue to use the program if given the opportunity. Implications for future research are discussed.

APA, Harvard, Vancouver, ISO, and other styles

31

Gupta, Davender Nath. "Expressing imaging algorithms using a C++ based image algebra programming environment /." Online version of thesis, 1990. http://hdl.handle.net/1850/11370.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Seltmann, Katja Chantre. "Building web-base interactive keys to the hymenopteran families and superfamilies." Lexington, Ky. : [University of Kentucky Libraries], 2004. http://lib.uky.edu/ETD/ukyento2004t00207/THESIS%5Ftext.pdf.

Full text

Abstract:

Thesis (m.s.)--University of Kentucky, 2004.
Title from document title page (viewed Jan. 7, 2005). Document formatted into pages; contains xiv, 475p. : ill. Includes abstract and vita. Includes bibliographical references (p. 469-473).

APA, Harvard, Vancouver, ISO, and other styles

33

Izatt, Matthew. "Babylon : a java-based distributed object environment /." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0020/MQ59175.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Hefner, Wayne. "A Java based client server database web application." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 2000. http://www.kutztown.edu/library/services/remote_access.asp.

Full text

Abstract:

Thesis (M.S.)--Kutztown University of Pennsylvania, 2000.
Source: Masters Abstracts International, Volume: 45-06, page: 3187. Typescript. Abstract precedes thesis as preliminary leaf. Includes bibliographical references (leaves 75-76).

APA, Harvard, Vancouver, ISO, and other styles

35

Harode, Gaurav S. "Java based MIDI interface for robot control." Morgantown, W. Va. : [West Virginia University Libraries], 2000. http://etd.wvu.edu/templates/showETD.cfm?recnum=1259.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 2000.
Title from document title page. Document formatted into pages; contains ix, 142 p. : ill. (some col.) Includes abstract. Includes bibliographical references (p. 76-78).

APA, Harvard, Vancouver, ISO, and other styles

36

Cannon, Joanna Erin. "Effectiveness of a Computer-Based Syntax Program in Improving the Morphosyntax of Students Who are Deaf/Hard of Hearing." Digital Archive @ GSU, 2010. http://digitalarchive.gsu.edu/epse_diss/63.

Full text

Abstract:

The purpose of this study was to determine if the frequent use of LanguageLinks: Syntax Assessment and Intervention (LL), produced by Laureate Learning Systems, Inc., as a supplemental classroom activity, affected morphosyntax structures (determiners, tense, and complementizers) in participants who are Deaf/Hard of Hearing (DHH) and use American Sign Language (ASL). Twenty-six students from an urban day school for the Deaf participated in this study. Two hierarchical linear modeling (HLM) growth curve analyses were used to examine the influence of LL on the comprehension of morphosyntax based on two dependent variables: 1) the scores from LL’s Optimized Intervention (OI; Wilson, 2003) reports; and 2) the scores from a subset of the Comprehension of Written Grammar (CWG; Easterbrooks, 2010) test. The results of the HLM analyses revealed that time was a statistically significant indicator of progress on both dependent variables: 1) LL, t(25) = 4.510, p < .001, and 2) CWG, t(25) = 4.750, p < .001. Two independent variables served as predictors of where the participants started on the level-1 intercept of the growth curve: 1) Degree of Hearing Loss; and 2) Age. The results indicated that Age, t(23) = 2.182, p = .039, was a statistically significant predictor of the level-1 intercept. A second set of independent variables served as predictors of change over time on the growth curve: 1) Diagnostic Evaluation of Language Variation Norm-Referenced (DELV-NR; Seymour, Roeper, & de Villiers, 2005) pretest scores on the syntax and semantic subtest; and 2) the Basic Reading Inventory (BRI; Johns, 2008) scores. The results indicated that the BRI scores, t(22) = 3.522, p = .002, were statistically significant predictors of change over time on the LL program. A dependent t-test was used to examine the comprehension of morphosyntax based on the third dependent variable of the DELV-NR assessment, and revealed statistically significant results on the syntax subtest, t(25) = -2.394, p = .024. The daily use of LL affected the morphosyntax of the participants in this study and may be an evidence-based practice for students who are DHH and use ASL.

APA, Harvard, Vancouver, ISO, and other styles

37

Tredoux, Francois. "Stellenbosch Safari : a multimedia program based on suggestopedic principles for the teaching of Afrikaans to international students at Stellenbosch University." Thesis, Stellenbosch : University of Stellenbosch, 2007. http://hdl.handle.net/10019.1/2270.

Full text

Abstract:

Thesis (MPhil (Afrikaans and Dutch))—University of Stellenbosch, 2007.
I developed this multimedia computer program for use by international students who want to learn specific vocabulary and sentence structures to help them when dealing with administrative and help desk personnel at Stellenbosch University. I describe the main late 20th century theories of second and foreign language acquisition, as well as the principles and methodology of Suggestopedia, which the program structure is based on. I give a detailed analysis of the program structure and its contents, as well as recommendations to enhance the program in future iterations.

APA, Harvard, Vancouver, ISO, and other styles

38

Myers, Karl J. "A system for the generation of tonal music based on transformations /." Online version of thesis, 1988. http://hdl.handle.net/1850/10293.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Praritsantik, Supachai. "Web-based interactive self-evaluation system for computer science in generic tutorial system for the sciences project." CSUSB ScholarWorks, 2002. https://scholarworks.lib.csusb.edu/etd-project/2273.

Full text

Abstract:

The goal of this master project is to promote and facilitate the use of new web-based and Java-based technologies in the development of self-evaluation systems for computer science; in particular, analysis of sorting algorithms.

APA, Harvard, Vancouver, ISO, and other styles

40

Bussa, Naga Raju. "WVU - interactive web based distance learning tool." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1116.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 1999.
Title from document title page. Document formatted into pages; contains v, 245 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 114-115).

APA, Harvard, Vancouver, ISO, and other styles

41

Beasley, Johnita. "A graphical alternative to direct SQL based querying." Master's thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-12162009-020050/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Waite, Edwin Richard. "Web Based Query Optimization Simulator." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2519.

Full text

Abstract:

The Web Based Query Optimization Simulator (WBQOS) is a software tool designed to enhance understanding of query optimization with a Relational Database Management System (RDBMS). WBQOS allows the user to visualize and participate in query optimization, which enhances the learning process.

APA, Harvard, Vancouver, ISO, and other styles

43

Ndakunda, Shange-Ishiwa Tangeni. "A mobile toolkit and customised location server for the creation of cross-referencing location-based services." Thesis, Rhodes University, 2013. http://hdl.handle.net/10962/d1013604.

Full text

Abstract:

Although there are several Software Development kits and Application Programming Interfaces for client-side location-based services development, they mostly involve the creation of self-referencing location-based services. Self-referencing location-based services include services such as geocoding, reverse geocoding, route management and navigation which focus on satisfying the location-based requirements of a single mobile device. There is a lack of open-source Software Development Kits for the development of client-side location-based services that are cross-referencing. Cross-referencing location-based services are designed for the sharing of location information amongst different entities on a given network. This project was undertaken to assemble, through incremental prototyping, a client-side Java Micro Edition location-based services Software Development Kit and a Mobicents location server to aid mobile network operators and developers alike in the quick creation of the transport and privacy protection of cross-referencing location-based applications on Session Initiation Protocol bearer networks. The privacy of the location information is protected using geolocation policies. Developers do not need to have an understanding of Session Initiation Protocol event signaling specifications or of the XML Configuration Access Protocol to use the tools that we put together. The developed tools are later consolidated using two sample applications, the friend-finder and child-tracker services. Developer guidelines are also provided, to aid in using the provided tools.

APA, Harvard, Vancouver, ISO, and other styles

44

Zhou, Qinan. "Memory Management and Garbage Collection Algorithms for Java-Based Prolog." Thesis, University of North Texas, 2001. https://digital.library.unt.edu/ark:/67531/metadc2825/.

Full text

Abstract:

Implementing a Prolog Runtime System in a language like Java which provides its own automatic memory management and safety features such as built--in index checking and array initialization requires a consistent approach to memory management based on a simple ultimate goal: minimizing total memory management time and extra space involved. The total memory management time for Jinni is made up of garbage collection time both for Java and Jinni itself. Extra space is usually requested at Jinni's garbage collection. This goal motivates us to find a simple and practical garbage collection algorithm and implementation for our Prolog engine. In this thesis we survey various algorithms already proposed and offer our own contribution to the study of garbage collection by improvements and optimizations for some classic algorithms. We implemented these algorithms based on the dynamic array algorithm for an all--dynamic Prolog engine (JINNI 2000). The comparisons of our implementations versus the originally proposed algorithm allow us to draw informative conclusions on their theoretical complexity model and their empirical effectiveness.

APA, Harvard, Vancouver, ISO, and other styles

45

Zhao, Wang. "Domain knowledge transformation (DKT) for conceptual design of mechanical systems /." free to MU campus, to others for purchase, 1997. http://wwwlib.umi.com/cr/mo/fullcit?p9841351.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Vaswani, Kapil. "An Adaptive Recompilation Framework For Rotor And Architectural Support For Online Program Instrumentation." Thesis, Indian Institute of Science, 2003. http://hdl.handle.net/2005/174.

Full text

Abstract:

Microsoft Research
Although runtime systems and the dynamic compilation model have revolutionized the process of application development and deployment, the associated performance overheads continue to be a cause for concern and much research. In the first part of this thesis, we describe the design and implementation of an adaptive recompilation framework for Rotor, a shared source implementation of the Common Language Infrastructure (CLI) that can increase program performance through intelligent recompilation decisions and optimizations based on the program's past behavior. Our extensions to Rotor include a low overhead runtime-stack based sampling profiler that identifies program hotspots. A recompilation controller oversees the recompilation process and generates recompilation requests. At the first-level of a multi-level optimizing compiler, code in the intermediate language is converted to an internal intermediate representation and optimized using a set of simple transformations. The compiler uses a fast yet effective linear scan algorithm for register allocation. Hot methods can be instrumented in order to collect basic-block, edge and call-graph profile information. Profile-guided optimizations driven by online profile information are used to further optimize heavily executed methods at the second level of recompilation. An evaluation of the framework using a set of test programs shows that performance can improve by a maximum of 42.3% and by 9% on average. Our results also show that the overheads of collecting accurate profile information through instrumentation to an extent outweigh the benefits of profile-guided optimizations in our implementation, suggesting the need for implementing techniques that can reduce such overheads. A flexible and extensible framework design implies that additional profiling and optimization techniques can be easily incorporated to further improve performance. As previously stated, fine-grained and accurate profile information must be available at low cost for advanced profile-guided optimizations to be effective in online environments. In this second part of this thesis, we propose a generic framework that makes it possible for instrumentation based profilers to collect profile data efficiently, a task that has traditionally been associated with high overheads. The essence of the scheme is to make the underlying hardware aware of instrumentation using a special set of profile instructions and tuned microarchitecture. This not only allows the hardware to provide the runtime with mechanisms to control the profiling activity, but also makes it possible for the hardware itself to optimize the process of profiling in a manner transparent to the runtime. We propose selective instruction dispatch as one possible controlling mechanism that can be used by the runtime to manage the execution of profile instructions and keep profiling overheads under check. We propose profile flag prediction, a hardware optimization that complements the selective dispatch mechanism by not fetching profile instructions when the runtime has turned profiling off. The framework is light-weight and flexible. It eliminates the need for expensive book-keeping, recompilation or code duplication. Our simulations with benchmarks from the SPEC CPU2000 suite show that overheads for call-graph and basic block profiling can be reduced by 72.7% and 52.4% respectively with a negligible loss in accuracy.

APA, Harvard, Vancouver, ISO, and other styles

47

Chikkala, Ramesh. "A comparison of two simulation languages for microcomputer based discrete event modeling." Ohio : Ohio University, 1989. http://www.ohiolink.edu/etd/view.cgi?ohiou1182286364.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Németh, László. "Catamorphism-based program transformations for non-strict functional languages." Thesis, University of Glasgow, 2000. http://theses.gla.ac.uk/4612/.

Full text

Abstract:

In functional languages intermediate data structures are often used as glue to connect separate parts of a program together. These intermediate data structures are useful because they allow modularity, but they are also a cause of inefficiency: each element need to be allocated, to be examined, and to be deallocated. Warm fusion is a program transformation technique which aims to eliminate intermediate data structures. Functions in a program are first transformed into the so called build-cata form, then fused via a one-step rewrite rule, the cata-build rule. In the process of the transformation to build-cata form we attempt to replace explicit recursion with a fixed pattern of recursion (catamorphism). We analyse in detail the problem of removing - possibly mutually recursive sets of - polynomial datatypes. Wehave implemented the warm fusion method in the Glasgow Haskell Compiler, which has allowed practical feedback. One important conclusion is that catamorphisms and fusion in general deserve a more prominent role in the compilation process. We give a detailed measurement of our implementation on a suite of real application programs.

APA, Harvard, Vancouver, ISO, and other styles

49

Francopoulo, Gil. "Un analyseur de francais avec apprentissage inductif de la syntaxe." Paris 6, 1988. http://www.theses.fr/1988PA066240.

Full text

Abstract:

La these traite de l'analyse du langage naturel par un programme. Afin de piloter l'analyse, la creation, mais surtout la maintenance de vastes bases de connaissances est necessaire: l'objectif etait de montrer qu'il etait possible d'elaborer un atelier de genie logiciel fonde sur l'apprentissage inductif des regles de traitement

APA, Harvard, Vancouver, ISO, and other styles

50

Ruan, Jianhua, Han-Shen Yuh, and Koping Wang. "Spider III: A multi-agent-based distributed computing system." CSUSB ScholarWorks, 2002. https://scholarworks.lib.csusb.edu/etd-project/2249.

Full text

Abstract:

The project, Spider III, presents architecture and protocol of a multi-agent-based internet distributed computing system, which provides a convenient development and execution environment for transparent task distribution, load balancing, and fault tolerance. Spider is an on going distribution computing project in the Department of Computer Science, California State University San Bernardino. It was first proposed as an object-oriented distributed system by Han-Sheng Yuh in his master's thesis in 1997. It has been further developed by Koping Wang in his master's project, of where he made large contribution and implemented the Spider II 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!