„Programming Models“

Suchergebnisse

1.230 Treffer

• Computer-aided derivation of the optimal mathematical models to study gear-pair dynamic by using genetic programming
  Ciglarič, I. ; Kidrič, A.
• A Framework for the Functional Verification of SystemC Models
  Bruschi, Francesco ; Ferrandi, Fabrizio ; Sciuto, Donatella
• Graph Models for Communication of Mobile Users in Access Areas
  Baum, D. ; Kovalenko, I. N.
• Cost-Benefit Analysis of Software Quality Models
  Khoshgoftaar, Taghi M. ; Allen, Edward B. ; Jones, Wendell D. ; Hudepohl, John P.
• SQL & NoSQL Databases – Models, Languages, Consistency Options and Architectures for Big Data Management
  Meier, Andreas ; Kaufmann, Michael 2019 Springer Fachmedien Wiesbaden
• Decision support in international long-haul freight transportation for the planning of rest periods, breaks and vehicle refueling
  Bernhardt, Alexandra ; Kopfer, Herbert ; Melo, Teresa 2019 Staats- und Universitätsbibliothek Bremen
• Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
  Chatterjee, Satrajit ; Kishinevsky, Michael
• Demurrage costs optimization in ports using binary mathematical programming models
  Parra, E.
• The use of economic-mathematical methods and models in the process of making management decisions
  Izotov, Viktor ; Nesmeyanov, Vladimir 2012
• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
  Helmstetter, C. ; Maraninchi, F. ; Maillet-Contoz, L.
• Compact and efficiently verifiable models for concurrent systems
  Ponce de León, Hernán ; Mokhov, Andrey
• Models of Perishable Queueing-Inventory Systems with Server Vacations
  Koroliuk, V. S. ; Melikov, A. Z. ; Ponomarenko, L. A. ; Rustamov, A. M.
• Mathematical Models and Methods for Analyzing Computer Control Networks of Railway Power Supply
  Stasiuk, O. I. ; Goncharova, L. L.
• Do software models based on the UML aid in source-code comprehensibility? Aggregating evidence from 12 controlled experiments
  Scanniello, Giuseppe ; Gravino, Carmine ; Genero, Marcela ; Cruz-Lemus, José A. ; Tortora, Genoveffa ; Risi, Michele ; Dodero, Gabriella
• New Models and Methods for Estimating the Cryptographic Strength of Information Security Systems
  Zadiraka, V. K. ; Kudin, A. M.
• Fusing multi-abstraction vector space models for concern localization
  Zhang, Yun ; Lo, David ; Xia, Xin ; Scanniello, Giuseppe ; Le, Tien-Duy B. ; Sun, Jianling
• Studying software logging using topic models
  Li, Heng ; Chen, Tse-Hsun (Peter) ; Shang, Weiyi ; Hassan, Ahmed E.
• Prediction models for performance, power, and energy efficiency of software executed on heterogeneous hardware
  Bán, Dénes ; Ferenc, Rudolf ; Siket, István ; Kiss, Ákos ; Gyimóthy, Tibor
• Goal programming models for incomplete interval additive reciprocal preference relations with permutations
  Huang, Mao-Jie ; Liu, Fang ; Peng, Ya-Nan ; Yu, Qin
• Evaluation and prediction of meteorological drought conditions using time-series and genetic programming models
  Omidvar, Ebrahim ; Tahroodi, Zahra Nazeri