Suchergebnisse - Path Pascal (Computer program language)

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

“… Mobile Python is the introduction of Python programming language to the mobile space …”
Volltext

LEVIOSA: Natural Language-Based Uncrewed Aerial Vehicle Trajectory Generation von 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 …”
Volltext

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

Mastering Delphi Programming: A Complete Reference Guide von 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 …”
Volltext

Timing analysis enhancement for synchronous program von 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 …”
Volltext

CPBPV: a constraint-programming framework for bounded program verification von 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 …”
Volltext

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

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

An applicable family of data flow testing criteria von 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 …”
Volltext

Superclass: 14 of the world's best living programmers von 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 …”
Volltext

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

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

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

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

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

Volltext

CPBVP: A Constraint-Programming Framework for Bounded Program Verification von 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 …”
Volltext

Producing prototypes from CO-OPN specifications von 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 …”
Volltext

Resolution method for one passage symbolic testing of ramified program structures von 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 …”
Volltext

The functional memory approach to the design of custom computing machines von 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 …”
Volltext

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

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

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

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

Logic-based system modelling von 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 …”
Volltext

Certificate-level computer courses for school-leavers: PC At Home Edition von 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 …”
Volltext