„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Studying the advancement in debugging practice of professional software developers
  Perscheid, Michael ; Siegmund, Benjamin ; Taeumel, Marcel ; Hirschfeld, Robert
• A4WSN: an architecture-driven modelling platform for analysing and developing WSNs
  Malavolta, Ivano ; Mostarda, Leonardo ; Muccini, Henry ; Ever, Enver ; Doddapaneni, Krishna ; Gemikonakli, Orhan
• A tour of secure software engineering solutions for connected vehicles
  Bertolino, Antonia ; Calabro’, Antonello ; Giandomenico, Felicita Di ; Lami, Giuseppe ; Lonetti, Francesca ; Marchetti, Eda ; Martinelli, Fabio ; Matteucci, Ilaria ; Mori, Paolo
• Fuzzy-Logic Controlled Genetic Algorithm for the Rail-Freight Crew-Scheduling Problem
  Khmeleva, E. ; Hopgood, A. A. ; Tipi, L. ; Shahidan, M.
• Automata-based monitoring for LTL-FO $$^+$$ +
  Khoury, Raphaël ; Hallé, Sylvain ; Lebrun, Yannick
• Assessing software product line potential: an exploratory industrial case study
  Koziolek, Heiko ; Goldschmidt, Thomas ; Gooijer, Thijmen de ; Domis, Dominik ; Sehestedt, Stephan ; Gamer, Thomas ; Aleksy, Markus
• Multicore software engineering, performance and tools – international conference ; proceedings
  Pankratius, Viktor ; Philippsen, Michael 2012 Springer
• Self-adaptive deployment of services in mobile environments: a study of the communication reliability on the host election algorithm
  Guerrero-Contreras, Gabriel ; Balderas-Díaz, Sara ; Rodríguez-Domínguez, Carlos ; Garrido, José Luis ; Valenzuela, Aurora
• Locality Fisher discriminant analysis for conditional domain adaption
  Zandifar, Mozhdeh ; Tahmoresnezhad, Jafar
• Specification testing of agent-based simulation using property-based testing
  Thaler, Jonathan ; Siebers, Peer-Olaf
• KLEE symbolic execution engine in 2019
  Cadar, Cristian ; Nowack, Martin
• ESBMC 6.1: automated test case generation using bounded model checking
  Gadelha, Mikhail R. ; Menezes, Rafael S. ; Cordeiro, Lucas C.
• Obtaining costly unverifiable valuations from a single agent
  Segal-Halevi, Erel ; Alkoby, Shani ; Sarne, David
• A joint optimization scheme of content caching and resource allocation for internet of vehicles in mobile edge computing
  Zhang, Mu ; Wang, Song ; Gao, Qing
• High performance piezoelectric AlN MEMS resonators for precise sensing in liquids
  Schneider, Michael ; Pfusterschmied, Georg ; Patocka, Florian ; Schmid, Ulrich
• Embedded screen-printed transducers in bulk polymer microfluidic devices
  Hintermüller, Marcus A. ; Offenzeller, Christina ; Knoll, Marcel ; Hilber, Wolfgang ; Jakoby, Bernhard
• Verification supported refactoring of embedded sql
  Spasić, Mirko ; Janičić, Milena Vujošević
• From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
  Angelov, Daniel ; Hristov, Yordan ; Ramamoorthy, Subramanian
• Dynamic resource provisioning for cyber-physical systems in cloud-fog-edge computing
  Xu, Zhanyang ; Zhang, Yanqi ; Li, Haoyuan ; Yang, Weijing ; Qi, Quan
• Complexity of planning for connected agents
  Charrier, Tristan ; Queffelec, Arthur ; Sankur, Ocan ; Schwarzentruber, François