Acceder

Bibliografías temáticas / SLAM (Computer program language) / Tesis

Tesis sobre el tema "SLAM (Computer program language)"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: SLAM (Computer program language).

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 19 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "SLAM (Computer program language)".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Cornwall, Maxwell W. "MEEBS a model for multi-echelon evaluation by simulation /". Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA237099.

Texto completo

Resumen

Thesis (M.S. in Management)--Naval Postgraduate School, June 1990.
Thesis Advisor(s): McMasters, Alan W. ; Bailey, Michael P. "June 1990." Description based on signature page as viewed on October 21, 2009. DTIC Identifier(s): Computerized simulation, logistics management. Author(s) subject terms: Multi-echelon, simulation, SLAM II, models. Includes bibliographical references (p. 142-147). Also available in print.

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Kiang, Kai-Ming Mechanical &amp Manufacturing Engineering Faculty of Engineering UNSW. "Natural feature extraction as a front end for simultaneous localization and mapping". Awarded by:University of New South Wales. School of Mechanical and Manufacturing Engineering, 2006. http://handle.unsw.edu.au/1959.4/26960.

Texto completo

Resumen

This thesis is concerned with algorithms for finding natural features that are then used for simultaneous localisation and mapping, commonly known as SLAM in navigation theory. The task involves capturing raw sensory inputs, extracting features from these inputs and using the features for mapping and localising during navigation. The ability to extract natural features allows automatons such as robots to be sent to environments where no human beings have previously explored working in a way that is similar to how human beings understand and remember where they have been. In extracting natural features using images, the way that features are represented and matched is a critical issue in that the computation involved could be wasted if the wrong method is chosen. While there are many techniques capable of matching pre-defined objects correctly, few of them can be used for real-time navigation in an unexplored environment, intelligently deciding on what is a relevant feature in the images. Normally, feature analysis that extracts relevant features from an image is a 2-step process, the steps being firstly to select interest points and then to represent these points based on the local region properties. A novel technique is presented in this thesis for extracting a small enough set of natural features robust enough for navigation purposes. The technique involves a 3-step approach. The first step involves an interest point selection method based on extrema of difference of Gaussians (DOG). The second step applies Textural Feature Analysis (TFA) on the local regions of the interest points. The third step selects the distinctive features using Distinctness Analysis (DA) based mainly on the probability of occurrence of the features extracted. The additional step of DA has shown that a significant improvement on the processing speed is attained over previous methods. Moreover, TFA / DA has been applied in a SLAM configuration that is looking at an underwater environment where texture can be rich in natural features. The results demonstrated that an improvement in loop closure ability is attained compared to traditional SLAM methods. This suggests that real-time navigation in unexplored environments using natural features could now be a more plausible option.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Cunningham, Alexander G. "Scalable online decentralized smoothing and mapping". Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/51848.

Texto completo

Resumen

Many applications for field robots can benefit from large numbers of robots, especially applications where the objective is for the robots to cover or explore a region. A key enabling technology for robust autonomy in these teams of small and cheap robots is the development of collaborative perception to account for the shortcomings of the small and cheap sensors on the robots. In this dissertation, I present DDF-SAM to address the decentralized data fusion (DDF) inference problem with a smoothing and mapping (SAM) approach to single-robot mapping that is online, scalable and consistent while supporting a variety of sensing modalities. The DDF-SAM approach performs fully decentralized simultaneous localization and mapping in which robots choose a relevant subset of variables from their local map to share with neighbors. Each robot summarizes their local map to yield a density on exactly this chosen set of variables, and then distributes this summarized map to neighboring robots, allowing map information to propagate throughout the network. Each robot fuses summarized maps it receives to yield a map solution with an extended sensor horizon. I introduce two primary variations on DDF-SAM, one that uses a batch nonlinear constrained optimization procedure to combine maps, DDF-SAM 1.0, and one that uses an incremental solving approach for substantially faster performance, DDF-SAM 2.0. I validate these systems using a combination of real-world and simulated experiments. In addition, I evaluate design trade-offs for operations within DDF-SAM, with a focus on efficient approximate map summarization to minimize communication costs.

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Joubert, Daniek. "Adaptive occupancy grid mapping with measurement and pose uncertainty". Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/71911.

Texto completo

Resumen

Thesis (MSc)--Stellenbosch University, 2012.
ENGLISH ABSTRACT: In this thesis we consider the problem of building a dense and consistent map of a mobile robot’s environment that is updated as the robot moves. Such maps are vital for safe and collision-free navigation. Measurements obtained from a range sensor mounted on the robot provide information on the structure of the environment, but are typically corrupted by noise. These measurements are also relative to the robot’s unknown pose (location and orientation) and, in order to combine them into a world-centric map, pose estimation is necessary at every time step. A SLAM system can be used for this task. However, since landmark measurements and robot motion are inherently noisy, the pose estimates are typically characterized by uncertainty. When building a map it is essential to deal with the uncertainties in range measurements and pose estimates in a principled manner to avoid overconfidence in the map. A literature review of robotic mapping algorithms reveals that the occupancy grid mapping algorithm is well suited for our goal. This algorithm divides the area to be mapped into a regular lattice of cells (squares for 2D maps or cubes for 3D maps) and maintains an occupancy probability for each cell. Although an inverse sensor model is often employed to incorporate measurement uncertainty into such a map, many authors merely state or depict their sensor models. We derive our model analytically and discuss ways to tailor it for sensor-specific uncertainty. One of the shortcomings of the original occupancy grid algorithm is its inability to convey uncertainty in the robot’s pose to the map. We address this problem by altering the occupancy grid update equation to include weighted samples from the pose uncertainty distribution (provided by the SLAM system). The occupancy grid algorithm has been criticized for its high memory requirements. Techniques have been proposed to represent the map as a region tree, allowing cells to have different sizes depending on the information received for them. Such an approach necessitates a set of rules for determining when a cell should be split (for higher resolution in a local region) and when groups of cells should be merged (for lower resolution). We identify some inconsistencies that can arise from existing rules, and adapt those rules so that such errors are avoided. We test our proposed adaptive occupancy grid algorithm, that incorporates both measurement and pose uncertainty, on simulated and real-world data. The results indicate that these uncertainties are included effectively, to provide a more informative map, without a loss in accuracy. Furthermore, our adaptive maps need far fewer cells than their regular counterparts, and our new set of rules for deciding when to split or merge cells significantly improves the ability of the adaptive grid map to mimic its regular counterpart.
AFRIKAANSE OPSOMMING: In hierdie tesis beskou ons die probleem om ’n digte en konsekwente kaart van ’n mobiele robot se omgewing te bou, wat opgedateer word soos die robot beweeg. Sulke kaarte is van kardinale belang vir veilige, botsingvrye navigasie. Metings verkry vanaf ’n sensor wat op die robot gemonteer is, verskaf inligting rakende die struktuur van die omgewing, maar word tipies deur ruis vervorm. Hierdie metings is ook relatief tot die robot se onbekende postuur (posisie en oriëntasie) en, om hulle saam te voeg in ’n wêreldsentriese kaart, is postuurafskatting nodig op elke tydstap. ’n SLAM stelsel kan vir hierdie doeleinde gebruik word. Aangesien landmerkmetings en die beweging van die robot inherent ruiserig is, word die postuurskattings gekarakteriseer deur onsekerheid. Met die bou van ’n kaart moet hierdie onsekerhede in afstandmetings en postuurskattings op ’n beginselvaste manier hanteer word om te verhoed dat te veel vertroue in die kaart geplaas word. ’n Literatuurstudie van karteringsalgoritmes openbaar die besettingsroosteralgoritme as geskik vir ons doel. Die algoritme verdeel die gebied wat gekarteer moet word in ’n reëlmatige rooster van selle (vierkante vir 2D kaarte of kubusse vir 3D kaarte) en onderhou ’n besettingswaarskynlikheid vir elke sel. Alhoewel ’n inverse sensormodel tipies gebruik word om metingsonsekerheid in so ’n kaart te inkorporeer, noem of wys baie outeurs slegs hulle model. Ons herlei ons model analities en beskryf maniere om sensorspesifieke metingsonsekerheid daarby in te sluit. Een van die tekortkominge van die besettingsroosteralgoritme is sy onvermoë om onsekerheid in die postuur van die robot na die kaart oor te dra. Ons spreek hierdie probleem aan deur die opdateringsvergelyking van die oorspronklike besettingsroosteralgoritme aan te pas, om geweegde monsters van die postuuronsekerheidsverdeling (verskaf deur die SLAM stelsel) in te sluit. Die besettingsroosteralgoritme word soms gekritiseer vir sy hoë verbruik van geheue. Tegnieke is voorgestel om die kaart as ’n gebiedsboom voor te stel, wat selle toelaat om verskillende groottes te hê, afhangende van die inligting wat vir hulle verkry is. So ’n benadering noodsaak ’n stel reëls wat spesifiseer wanneer ’n sel verdeel (vir ’n hoër resolusie in ’n plaaslike gebied) en wanneer ’n groep selle saamgevoeg (vir ’n laer resolusie) word. Ons identifiseer teenstrydighede wat kan voorkom as die huidige reëls gevolg word, en pas hierdie reëls aan sodat sulke foute vermy word. Ons toets ons voorgestelde aanpasbare besettingsroosteralgoritme, wat beide metings- en postuuronsekerheid insluit, op gesimuleerde en werklike data. Die resultate dui daarop dat hierdie onsekerhede op ’n effektiewe wyse na die kaart oorgedra word sonder om akkuraatheid prys te gee. Wat meer is, ons aanpasbare kaarte benodig heelwat minder selle as hul reëlmatige eweknieë. Ons nuwe stel reëls om te besluit wanneer selle verdeel of saamgevoeg word, veroorsaak ook ’n merkwaardige verbetering in die vermoë van die aanpasbare roosterkaart om sy reëlmatige eweknie na te boots.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Wendt, N. Rodney. "Applications of program understanding and rule-based quality assurance to Slam II simulation programs". Thesis, University of Ottawa (Canada), 1993. http://hdl.handle.net/10393/6893.

Texto completo

Resumen

With the advance of time, our inventory of simulation programs has and continues to accumulate. To maximize the return on our investment of time and money into these software systems, it is advantageous for us to reuse software components as much as possible. For example, previously engineered simulation models can often be reused and exercised under a new set of experimental conditions. Before a software component can be reused, the analyst must learn and understand its functionality. This learning process is often made unnecessarily difficult due to incomplete documentation. Another contributing factor is the complexity brought about by interacting directly with the program code. Furthermore, when it comes time to make updates to the code, the potential arises for semantic and syntactic errors to work their way into the program. Knowledge-based program understanding systems with built in quality assurance can be used as an environment for simplifying the learning and the update processes, while ensuring an acceptable degree of quality has been maintained during the update process. This thesis discusses program understanding and quality assurance issues related to the Slam II programming language and discusses the architecture of E/Slam (Elucidation of Slam II programs). E/Slam is a knowledge-based program understanding system with built-in quality assurance ability.

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /". Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Chou, Robert Shih-pei. "A program design language for COBOL". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Richardson, Joel E. "E a persistent systems implementation language /". Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Gordon, Christopher Todd. "A visual language for ADA program unit specifications". Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Martin, Walter E. "Cview, a graphical program generator for the C programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10224.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Yessenov, Kuat T. "A lightweight specification language for bounded program verification". Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.

Texto completo

Resumen

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 63-64).
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example traces and debugging specifications. JFSL attempts to address challenges of specification languages such as inheritance, frame conditions, dynamic dispatch, and method calls inside specifications in the context of bounded verification. A collection of verification tasks illustrates the expressiveness and conciseness of JForge specifications and demonstrates effectiveness of the bounded verification technique.
by Kuat T. Yessenov.
M.Eng.

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Leoutsarakos, Nikolaos. "A context sensitive command language /". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Gibson, Barbara Brunner. "Ada as a design specification language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10215.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Ouren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program". CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.

Texto completo

Resumen

This project was created for third grade teachers who use the Houghton Mifflin Language Arts series and want to integrate computer software into their writing curriculum. The website created includes all the writing assignments that the students are to complete and the required software used to complete the assignment.

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Koh, Kyu Han Seals Cheryl D. "PineHill a novel approach to computer aided language learning /". Auburn, Ala., 2007. http://hdl.handle.net/10415/1365.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Trachsel, Anne Roberta. "L-EQUEL : an embedded query language for Franz LISP". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9884.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Yildiz, Faruk. "Implementation of a human avatar for the MARG project in networked virtual environments". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Mar%5FYildiz.pdf.

Texto completo

Resumen

Thesis (M.S. in Modeling, Virtual Environments and Simulation (MOVES))--Naval Postgraduate School, March 2004.
Thesis advisor(s): Xiaoping Yun. Includes bibliographical references (p. 61-62). Also available online.

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Calnan, Paul W. "EXTRACT, Extensible Transformation and Compiler Technology". Link to electronic thesis, 2003. http://www.wpi.edu/Pubs/ETD/Available/etd-0429103-152947.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Pimentel, Richard. "Direct Simulation from a Model Specification Language". DigitalCommons@USU, 1986. https://digitalcommons.usu.edu/etd/6985.

Texto completo

Resumen

The purpose of this thesis was to develop a program that would accept, as input, a finite set of algebraic equations and simple if-then conditional expressions that model a natural system, and then produce a continuous computer simulation with graphics and tabular output. The equations and conditionals can be in any order and key elements can be missing. The program can be used to run existing models or as a development tool to produce immediate prototypic computer simulations through synergistic man-machine interactions. The theoretical aspects of automatic program generation were discussed, as well as the architectural design of the system. The simulation system was used to develop a computer simulation of an exploited Northern Utah pheasant population and the results were compared to the results from an earlier FORTRAN computer simulation of the same model. It was concluded that the simulation system developed for this thesis produces verified computer simulations from mathematical models that are at least as accurate as the corresponding simulation written in FORTRAN. The system was easy to use and should be useful for unsophisticated users. Some "tuning'' of the input was needed to produce a verified simulation and it was concluded that further work was needed here.

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Miller, Ruane. "A study of PostScript as a graphics programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/11483.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Chan, Chi-hown Johnny. "Implementation of computer simulation software in learning low-level computer language : a case study /". Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk/hkuto/record.jsp?B24700770.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Bull, Tim. "Software maintenance by program transformation in a wide spectrum language". Thesis, Durham University, 1994. http://etheses.dur.ac.uk/5494/.

Texto completo

Resumen

This thesis addresses the software maintenance problem of extracting high-level designs from code. The investigated solution is to use a mathematically-based formal program transformation system. The resulting tool, the Maintainer's Assistant, is based on Ward's [177] WSL (wide spectrum language) and method of proving program equivalence. The problems addressed include: how to reverse engineer from code alone (the only reliable source of information about a program [158]), how to express program transformations within the system, what kinds of transformations should be incorporated, how to make the tool simple to use, how to perform abstraction and how to create a tool suitable for use with large programs. Using the Maintainer's Assistant, the program code is automatically translated into WSL and the transformations, although tested for valid applicability by the system, are interactively applied by the user. Notable features include a mathematical simplifier, a large flexible transformation catalogue and, significantly, the use of an extension of WSL, A4etaWSL, for representing the transformations. MetaWSL expands WSL by incorporating a variety of extensions, including: program editing statements, pattern matching and template filling functions, symbolic mathematics and logic functions, statements for moving within the program’s syntax tree and statements for repeating an operation at each node of the tree. Using MetaWSL, 80% of the 601 transformations can be expressed in less than 20 program statements. The Maintainer's Assistant has been used on a wide variety of examples of up to several thousand lines, including commercial software written in IBM 370 assembler. It has been possible to transform initially unstructured programs into a hierarchy of procedures, facilitating subsequent design recovery. These results show that program transformation is a viable method of renovating old (370 assembler) code in a cost elective way, and that MetaWSL provides an effective basis for clearly and concisely expressing the required transformations.

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Kenyon, John L. "CHIMP the C/C++ hybrid imperative meta-programmer /". abstract and full text PDF (free order & download UNR users only), 2008. http://0-gateway.proquest.com.innopac.library.unr.edu/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1453647.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Nagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /". Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.

Texto completo

Resumen

Thesis (M.S.)--West Virginia University, 1999.
Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Tollefson, Bradley A. "The J-shell command language interpreter". Virtual Press, 1985. http://liblink.bsu.edu/uhtbin/catkey/506686.

Texto completo

Resumen

A command language interpreter (CLI) translates commands entered by the user into system actions. The shell is a specific type of CLI that was originally designed and used with UNIX operating systems.The author proposes to design and implement a shell-like CLI on top of the VMS operating system. The shell will enhance VMS features by providing an easier to use syntax and by providing features that are not currently available through VMS. These features include piping facilities and the ability to enter and/or reference multiple commands from a single command line. A language reference manual is provided with the J-shell. This manual explains the features and commands of the J-shell.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Mosca, Peter. "A study of Ada and C in concurrent programming". Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.

Texto completo

Resumen

Thesis (M.S.)--Kutztown University of Pennsylvania, 1991.
Source: Masters Abstracts International, Volume: 45-06, page: 3190. Abstract precedes thesis as [1] preliminary leaf. Typescript. Includes bibliographical references (leaf 54).

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Motwani, Manjula H. "An Occam2 implementation of Prolog /". Online version of thesis, 1994. http://hdl.handle.net/1850/12175.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Barrett, Kirk. "A program development system using an attribute grammar". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9821.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Yu, Henry 1961. "HPSIMC: AHPL SIMULATOR IMPLEMENTED IN C LANGUAGE (PARSER, SOFTWARE)". Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/291313.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Wright, Madeleine. "A detailed investigation of interoperability for web services". Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1004832.

Texto completo

Resumen

The thesis presents a qualitative survey of web services' interoperability, offering a snapshot of development and trends at the end of 2005. It starts by examining the beginnings of web services in earlier distributed computing and middleware technologies, determining the distance from these approaches evident in current web-services architectures. It establishes a working definition of web services, examining the protocols that now seek to define it and the extent to which they contribute to its most crucial feature, interoperability. The thesis then considers the REST approach to web services as being in a class of its own, concluding that this approach to interoperable distributed computing is not only the simplest but also the most interoperable. It looks briefly at interoperability issues raised by technologies in the wider arena of Service Oriented Architecture. The chapter on protocols is complemented by a chapter that validates the qualitative findings by examining web services in practice. These have been implemented by a variety of toolkits and on different platforms. Included in the study is a preliminary examination of JAX-WS, the replacement for JAX-RPC, which is still under development. Although the main language of implementation is Java, the study includes services in C# and PHP and one implementation of a client using a Firefox extension. The study concludes that different forms of web service may co-exist with earlier middleware technologies. While remaining aware that there are still pitfalls that might yet derail the movement towards greater interoperability, the conclusion sounds an optimistic note that recent cooperation between different vendors may yet result in a solution that achieves interoperability through core web-service standards.

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Chow, Kent. "GPLOT : a language for plotting graphs". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66062.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Firth, Michael Anthony. "A fold/unfold transformation system for a non-strict language". Thesis, University of York, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280416.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Lindstrom, Lowell Richard. "The implementation of a SIMULA compiler on the Kansas State University Perkin-Elmer computers". Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9934.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Parsa, Saeed. "Design and specification of a program specification language for engineering applications". Thesis, University of Salford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357026.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Marsh, David William Roff. "Program refinement using a universal law : language specification and prototype tool". Thesis, University of Southampton, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312873.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Barrett, Mark Douglas. "Teaching language arts in third grade with HyperStudio, an interactive computer program". CSUSB ScholarWorks, 1991. https://scholarworks.lib.csusb.edu/etd-project/849.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Vorvick, Janet. "Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules". PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5195.

Texto completo

Resumen

The integration of a functional component into a logic language extends the expressive power of the language. One logic language which would benefit from such an extension is Godel, a prototypical language at the leading edge of the research in logic programming. We present a modification of the Godel parser which enables the parsing of evaluable functions in Godel. As the first part of an extended Godel, the parser produces output similar to the output from the original Godel parser, ensuring that Godel modules are properly handled by the extended-Godel parser. Parser output is structured to simplify, as much as possible, the future task of creating an extended compiler implementing evaluation of functions using narrowing. We describe the structure of the original Godel parser, the objects produced by it, the modifications made for the implementation of the extended Godel and the motivation for those modifications. The ultimate goal of this research is production of a functional component for Godel which evaluates user-defined functions with needed narrowing, a strategy which is sound, complete, and optimal for inductively sequential rewrite systems.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Pope, Bernard James. "A declarative debugger for Haskell /". Connect to thesis, 2006. http://eprints.unimelb.edu.au/archive/00003290.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Coleman, Jesse J. "The design, construction, and implementation of an engineering software command processor and macro compiler /". Online version of thesis, 1995. http://hdl.handle.net/1850/12219.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Widjaja, Hendra. "Visor++ : a software visualisation tool for task-parallel object-orientated programs". Title page, abstract and contents only, 1998. http://web4.library.adelaide.edu.au/theses/09AS/09asw639.pdf.

Texto completo

Resumen

Bibliography: leaves 173-184. This thesis describes Visor++, a tool for visualising programs written in CC++, a task-parallel, object-orientated language derived from C++. Visor++ provides a framework of visualising task-parallel object-orientated programs in the absence of language support for visualisation, i.e. for programs such as CC++ which are written in languages which are not "visualisation-conscious". The development of techniques using a wide selection of language features are described and the effectiveness testified by experimentation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

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/.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Gunnlaugsson, Bjorgvin. "Concurrency and sharing in prolog and in a picture editor for aldat". Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63864.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Duffy, Sandra Lee. "PEDIT-- a resident structure editor for PROLOG". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9833.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Librers, Joseph. "A module declaration generator". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9861.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Laliberté, Normand. "Design and implementation of a primary memory version of ALDAT, including recursive relations". Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65497.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Dodge, Nathan. "Course development for a college Java programming class". [Denver, Colo.] : Regis University, 2005. http://165.236.235.140/lib/NDodge2005.pdf.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Schmitt, Susan M. "A critical examination of the relationship between the memory requirements of structured BASIC and unstructured BASIC". Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1985. http://www.kutztown.edu/library/services/remote_access.asp.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Wang, Jian. "Pointer analysis in Java programs using execution path information /". View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20WANG.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

黃介亮 y Kai-leung Adam Wong. "On improving the alternation construct in occam". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1996. http://hub.hku.hk/bib/B31213741.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!