search-head

You are here: Homepage >  Search

Springer Verlag   Economics   Computer Science   Material science   Other subjects   Social Sciences   Mechanical engineering, energy technology   Clear all

Synonyms were used for: Computer programming
Search without synonyms: keywords:("Computer programming")

1–50 of 192 hits
|
Sort by:

    Zustandsautomaten

    Wietzke, Joachim / Tran, Manh Tien | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Zusammenfassung

    Filler, Thies | Springer Verlag | 2019
    Keywords: Software Engineering/Programming and Operating Systems

    Visual Analytic of Traffic Simulation Data: A Review

    Almachi, Christopher / Armas, Rolando / Cuenca, Erick | Springer Verlag | 2024
    Keywords: Software Engineering/Programming and Operating Systems

    Vehicle Yaw Stability Control at the Handling Limits Based on Model Predictive Control

    Li, Shaosong / Wang, Guodong / Zhang, Bangcheng et al. | Springer Verlag | 2020
    Keywords: Quadratic programming

    Understanding of Drivers Speed Decisions to Improve Traffic Management on Highways of the Future

    Matowicki, Michal / Pribyl, Ondrej | Springer Verlag | 2018
    Keywords: Software Engineering/Programming and Operating Systems

    Traffic Sign Detection and Recognition Using Deep Learning Approach

    Rahman, Umma Saima / Maruf | Springer Verlag | 2023
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Traffic Light Simulation Using ALP

    Upadhye, Gopal D. / Bhopale, Ramesh G. / Borse, Rushikesh D. et al. | Springer Verlag | 2024
    Keywords: Assembly language programming (ALP)

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Towards to Characterization of Network Management Traffic in OpenStack-Based Clouds

    Donatti, Adnei W. / Miers, Charles C. / Koslovski, Guilherme P. et al. | Springer Verlag | 2023
    Keywords: Software Engineering/Programming and Operating Systems

    TOWARDS RUN-TIME PARTITIONING OF A REAL TIME OPERATING SYSTEM FOR RECONFIGURABLE SYSTEMS ON CHIP

    Free access
    Götz, Marcelo / Rettberg, Achim / Pereira, Carlos Eduardo | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    TOWARDS A REAL-TIME COMMUNICATION NETWORK FOR AUTONOMOUS RAIL VEHICLES

    Free access
    Francisco, André Luiz Freitas / Schulz, Bernd / Henke, Christian | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems

    TOC-BISR: A SELF-REPAIR SCHEME FOR MEMORIES IN EMBEDDED SYSTEMS

    Free access
    Neuberger, Gustavo / Kastensmidt, Fernanda Lima / Reis, Ricardo | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems

    Timing Theory

    Gliwa, Peter | Springer Verlag | 2021
    Keywords: Software Engineering/Programming and Operating Systems

    Timing Optimization

    Gliwa, Peter | Springer Verlag | 2021
    Keywords: Software Engineering/Programming and Operating Systems

    Timing Analysis Techniques

    Gliwa, Peter | Springer Verlag | 2021
    Keywords: Software Engineering/Programming and Operating Systems

    Timetabling

    Schmidt, Marie E. | Springer Verlag | 2013
    Keywords: Integer Programming Formulation

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K. Venkatesh / Giuli, Thomas J. / Watson, David | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    Grossmann, Juergen / Fey, Ines / Krupp, Alexander et al. | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD

    Free access
    Dittmann, Florian / Bobda, Christophe | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems

    Task Scheduling in Large Camera Networks

    Lim, Ser-Nam / Davis, Larry / Mittal, Anurag | Springer Verlag | 2007
    Keywords: Dynamic Programming

    Synchronisierungsmechanismen für Prozesse und Threads

    Wietzke, Joachim / Tran, Manh Tien | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Summary

    Staron, Miroslaw | Springer Verlag | 2020
    Keywords: Software Engineering/Programming and Operating Systems

    Stereo vision enabling fast estimation of free space on traffic roads for autonomous navigation

    Lee, K. Y. / Song, G. Y. / Park, J. M. et al. | Springer Verlag | 2015
    Keywords: Dynamic programming

    Stand der Technik

    Hagen, Lars | Springer Verlag | 2020
    Keywords: Software Engineering/Programming and Operating Systems

    Stand der Technik

    Filler, Thies | Springer Verlag | 2019
    Keywords: Software Engineering/Programming and Operating Systems

    Speicherverwaltung

    Wietzke, Joachim / Tran, Manh Tien | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS

    Free access
    Núñez, Manuel / Rodríguez, Ismael | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems

    Sonstige Aspekte

    Wietzke, Joachim / Tran, Manh Tien | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Software Architectures—Views and Documentation

    Staron, Miroslaw | Springer Verlag | 2020
    Keywords: Software Engineering/Programming and Operating Systems

    Software Architecture and Performance Comparison of MPI/Pro and MPICH

    Dimitrov, Rossen / Skjellum, Anthony | Springer Verlag | 2003
    Keywords: Programming Techniques

    SOFTWARE AND DRIVER SYNTHESIS FROM TRANSACTION LEVEL MODELS

    Free access
    Yu, Haobo / Dömer, Rainer / Gajski, Daniel D. | Springer Verlag | 2005
    Keywords: Software Engineering/Programming and Operating Systems

    Soft Robots for On-Orbit Servicing (OOS) Missions

    Gao, Xiaoqian / Hyla, Bartosz / Uhl, Tadeusz | Springer Verlag | 2024
    Keywords: Software Engineering/Programming and Operating Systems

    Smart Checkpoint Management System for Automatic Number Plate Recognition in Bhutan Vehicles Using OCR Technique

    Vijayalakshmi, K. / Dhanamalar, M. / Lepakshi, Vijayalakshmi A. et al. | Springer Verlag | 2024
    Keywords: Software Engineering/Programming and Operating Systems

    Shelf placement optimization for air products

    Szymanski, Tomasz / Darrow, Ross | Springer Verlag | 2023
    Keywords: Constraint programming

    Self-Organizing Neural Architectures for Vision, Learning, and Robotic Control

    Grossberg, Stephen | Springer Verlag | 1990
    Keywords: Programming Languages, Compilers, Interpreters

    Schlussfolgerung und Ausblick

    Hagen, Lars | Springer Verlag | 2020
    Keywords: Software Engineering/Programming and Operating Systems

    Schlussfolgerungen und Ausblick

    Göttlich, Philipp | Springer Verlag | 2022
    Keywords: Software Engineering/Programming and Operating Systems

    Schedule Optimization for Ttethernet-based Time-triggered Automotive Systems

    Zhao, Rui / Qin, Guihe / Yan, Jie et al. | Springer Verlag | 2020
    Keywords: Mixed-integer linear programming

    Safety and ISO 26262

    Gliwa, Peter | Springer Verlag | 2021
    Keywords: Software Engineering/Programming and Operating Systems

    Route Optimization of an Unmanned Aerial Vehicle Beyond Visual Line of Sight

    Blauensteiner, Florian / Fahrnberger, Günter | Springer Verlag | 2024
    Keywords: Software Engineering/Programming and Operating Systems

    Robust flight schedules with stochastic programming

    Sanjeevi, Sujeevraja / Venkatachalam, Saravanan | Springer Verlag | 2021
    Keywords: Stochastic programming

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, Holger | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Programming Techniques

    Research on Optimal Shift Schedule for Multi-speed Electric Vehicle Based on Trajectory Prediction

    Lu, Zhenghong / Dong, Wenlong / Huang, Yong | Springer Verlag | 2024
    Keywords: dynamic programming

    Research on Intelligent Reasoning and Decision Algorithm for Autonomous Vehicle in Context of Narrow Road Intersections

    Free access
    Wang, Like | Springer Verlag | 2023
    Keywords: Software Engineering/Programming and Operating Systems

    Recent Progress Using Matheuristics for Strategic Maritime Inventory Routing

    Papageorgiou, Dimitri J. / Cheon, Myun-Seok / Harwood, Stuart et al. | Springer Verlag | 2017
    Keywords: Mixed-integer linear programming

    Real-Time Rule Based Control of Robot Motion

    Ciliz, M. Kemal | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Realization of pmp-based control for hybrid electric vehicles in a backward-looking simulation

    Kim, N. W. / Lee, D. H. / Zheng, C. et al. | Springer Verlag | 2014
    Keywords: Dynamic programming

    Realisierung einer Methode

    Göttlich, Philipp | Springer Verlag | 2022
    Keywords: Software Engineering/Programming and Operating Systems

Number of results
10 20

Filter search results