Search Results - PATH Pascal (Computer program language)

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

“…Mobile Python is the introduction of Python programming language to the mobile space…”
Get full text

LEVIOSA: Natural Language-Based Uncrewed Aerial Vehicle Trajectory Generation by 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…”
Get full text

Mastering Delphi programming: a complete reference guide : learn all about building fast, scalable, and high performing applications with Delphi by 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…”
Get full text

Mastering Delphi Programming: A Complete Reference Guide by 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…”
Get full text

Timing analysis enhancement for synchronous program by 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…”
Get full text

CPBPV: a constraint-programming framework for bounded program verification by 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…”
Get full text

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

“…This thesis introduces Distributed Path Pascal, a language which provides mechanisms to develop programs that utilize distributed systems and their resources…”
Get full text

An applicable family of data flow testing criteria by 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…”
Get full text

Superclass: 14 of the world's best living programmers by 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…”
Get full text

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

“…This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD…”
Get full text

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

“… The handling of sets for these algorithms can easily be programmed in PASCAL using the SET-concept of this language…”
Get full text

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

Get full text

CPBVP: A Constraint-Programming Framework for Bounded Program Verification by 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…”
Get full text

Producing prototypes from CO-OPN specifications by 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…”
Get full text

Resolution method for one passage symbolic testing of ramified program structures by 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…”
Get full text

The functional memory approach to the design of custom computing machines by 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…”
Get full text

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

“…Two families of software test data adequacy criteria, each based on data flow analysis, are defined for programs written in Pascal…”
Get full text

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

“…The numerical analysis of stochastic differential equations differs significantly from that of ordinary differential equations due to peculiarities of…”
Get full text

Logic-based system modelling by 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…”
Get full text

Certificate-level computer courses for school-leavers: PC At Home Edition by 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…”
Get full text