search-head

You are here: Homepage >  Search

Springer Verlag   Economics   Computer Science   Material science   Other subjects   Social Sciences   Civil engineering   Clear all

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

1–50 of 211 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

    Use of applied element method for structural analysis

    Shakeri, Aliakbar / Bargi, Khosrow | Springer Verlag | 2015
    Keywords: FORTRAN programming language

    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 Two Echelon Open Vehicle Routing Problem: Optimization of Crowdshipping Based Parcel Delivery

    Wu, Xue / Hu, Dawei / Ma, Bingshan et al. | Springer Verlag | 2022
    Keywords: Mixed-integer linear programming

    The Location Routing Problem of the Car-Sharing System with Autonomous Electric Vehicles

    Ma, Bingshan / Hu, Dawei / Wu, Xue | Springer Verlag | 2021
    Keywords: Mixed-integer nonlinear programming

    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

    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

    Solving truss topological optimization with discrete design variables via swarm intelligence

    Yang, Bin / Zhang, Qilin / Li, Han | Springer Verlag | 2015
    Keywords: nonlinear programming , integer programming

    Solving truss topological optimization via Swarm Intelligence

    Yang, Bin / Zhang, Qilin / Zhou, Zhihao | Springer Verlag | 2015
    Keywords: nonlinear programming

    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

    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

    Significant wave height modelling using a hybrid Wavelet-genetic Programming approach

    Shahabi, Sajad / Khanjani, Mohammad-Javad / Kermani, Masoud-Reza Hessami | Springer Verlag | 2016
    Keywords: genetic programming

    Shear Strength of Circular and Rectangular Reinforced Concrete Columns

    Al-Bayati, Ahmed Faleh | Springer Verlag | 2023
    Keywords: Gene expression programming

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

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

    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

    Rural bus route design problem: Model development and case studies

    Wang, Shuaian / Qu, Xiaobo | Springer Verlag | 2014
    Keywords: dynamic programming

    Revisiting the Estimation of Colebrook Friction Factor: A Comparison between Artificial Intelligence Models and C-W based Explicit Equations

    Niazkar, Majid | Springer Verlag | 2019
    Keywords: genetic 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 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

    Replicability of Annual and Seasonal Precipitation by CMIP5 and CMIP6 GCMs over East Asia

    Shiru, Mohammed Sanusi / Shahid, Shamsuddin / Chae, Seung-Taek et al. | Springer Verlag | 2022
    Keywords: Compromise programming

    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

Number of results
10 20

Filter search results