Výsledky vyhľadávania - Path Pascal (Computer program language)

Mobile python: rapid prototyping of applications on the mobile platform Autor Scheible, Jürgen, Tuulos, Ville

“…Mobile Python is the introduction of Python programming language to the mobile space…”
Získať plný text

LEVIOSA: Natural Language-Based Uncrewed Aerial Vehicle Trajectory Generation Autor Aikins, Godwyll, Dao, Mawaba Pascal, Moukpe, Koboyo Josias, Eskridge, Thomas C., Nguyen, Kim-Doang

“…) trajectory generation. By leveraging multimodal large language models (LLMs) to interpret natural language commands, the system converts text and audio inputs into executable flight paths for UAV swarms…”
Získať plný text

Mastering Delphi programming: a complete reference guide : learn all about building fast, scalable, and high performing applications with Delphi Autor Primoz Gabrijelcic, Gabrijelcic

“… designLearn how to select the right patterns to improve your program's efficiency and productivityDiscover how parallel programming and memory management can optimize your codeBook DescriptionDelphi…”
Získať plný text

Mastering Delphi Programming: A Complete Reference Guide Autor Primož Gabrijelčič

“… Learn how to select the right patterns to improve your program's efficiency and productivity Discover how parallel programming and memory management can optimize your codeBook DescriptionDelphi…”
Získať plný text

Timing analysis enhancement for synchronous program Autor Raymond, Pascal, Maiza, Claire, Parent-Vigouroux, Catherine, Carrier, Fabienne, Asavoae, Mihail

“… . Functionality aspects (computing right) can be addressed using high level design methods, such as the synchronous approach that provides languages, compilers and verification tools. Real-time aspects…”
Získať plný text

CPBPV: a constraint-programming framework for bounded program verification Autor Collavizza, Hélène, Rueher, Michel, Van Hentenryck, Pascal

“…). The CPBPV framework uses constraint stores to represent both the specification and the program and explores execution paths of bounded length nondeterministically…”
Získať plný text

DISTRIBUTED PATH PASCAL: A LANGUAGE FOR PROGRAMMING COUPLED SYSTEMS Autor KOLSTAD, ROBERT BRUCE

“…This thesis introduces Distributed Path Pascal, a language which provides mechanisms to develop programs that utilize distributed systems and their resources…”
Získať plný text

An applicable family of data flow testing criteria Autor Frankl, P.G., Weyuker, E.J.

“…The authors extend the definitions of the previously introduced family of data flow testing criteria to apply to programs written in a large subset of Pascal…”
Získať plný text

Superclass: 14 of the world's best living programmers Autor Johnson, Phil

“… Creator of QEMU Credentials: Created a variety of well-known open-source software programs, including QEMU, a platform for hardware emulation and virtualization…”
Získať plný text

Design, implementation, and evaluation of the constraint language cc(FD) Autor Van Hentenryck, Pascal, Saraswat, Vijay, Deville, Yves

“…This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD…”
Získať plný text

Inverting Paths & Cuts of 2-State Systems Autor Heidtmann, K.D.

“… The handling of sets for these algorithms can easily be programmed in PASCAL using the SET-concept of this language…”
Získať plný text

A logic-based approach to program flow analysis Autor Sagiv, Mooly, Francez, Nissim, Rodeh, Michael, Wilhelm, Reinhard

Získať plný text

CPBVP: A Constraint-Programming Framework for Bounded Program Verification Autor Collavizza, Hélène, Rueher, Michel, Pascal Van Hentenryck

“…). The CPBPV framework uses constraint stores to represent the specification and the program and explores execution paths nondeterministically…”
Získať plný text

Producing prototypes from CO-OPN specifications Autor Buchs, D., Flumet, J., Racloz, P.

“…) specifications are described. CO-OPN is a specification language for the description of concurrent aspects and data-structure aspects of computer programs in an abstract way…”
Získať plný text

Resolution method for one passage symbolic testing of ramified program structures Autor Markoski, Branko, Ivankovic, Zdravko, Ivkovic, Miodrag, Radosav, Dragica, Berkovic, Ivana

“… It is partly similar to method of simulation of computer function, but differs in aim. One of ways to prove whether given program is written correctly is to execute it symbolically…”
Získať plný text

The functional memory approach to the design of custom computing machines Autor Halverson, Richard Peyton

“…This dissertation describes a software system and related hardware architecture in which high level language programs are compiled into gate level logic circuitry that is configured specifically…”
Získať plný text

THE USE OF DATA FLOW INFORMATION FOR THE SELECTION AND EVALUATION OF SOFTWARE TEST DATA Autor FRANKL, PHYLLIS G

“…Two families of software test data adequacy criteria, each based on data flow analysis, are defined for programs written in Pascal…”
Získať plný text

Numerical Solution of Stochastic Differential Equations Autor Kloeden, Peter E, Platen, Eckhard

“…The numerical analysis of stochastic differential equations differs significantly from that of ordinary differential equations due to peculiarities of…”
Získať plný text

Logic-based system modelling Autor Rich, Anthony Gabriel

“… For example, the form of a Pascal compiler written in C is "C"; its functionality is to translate an object whose form is "Pascal" into an object of form "object code" while preserving functionality…”
Získať plný text

Certificate-level computer courses for school-leavers: PC At Home Edition Autor Chandra Devi Renganayar

“… Certification, Certified Netware Administration (CNA) and Certified Netware Engineer (CNE). In this issue, let's discuss some more categories of certificate-level computer programmes which can also set the path to a career in the computer profession…”
Získať plný text