咨询与建议

限定检索结果

文献类型

  • 78 篇 会议
  • 31 篇 期刊文献
  • 9 册 图书

馆藏范围

  • 118 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 71 篇 工学
    • 59 篇 计算机科学与技术...
    • 49 篇 软件工程
    • 4 篇 控制科学与工程
    • 4 篇 船舶与海洋工程
    • 4 篇 生物工程
    • 3 篇 机械工程
    • 3 篇 电气工程
    • 3 篇 土木工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 2 篇 建筑学
    • 2 篇 水利工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 29 篇 理学
    • 15 篇 数学
    • 7 篇 物理学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 海洋科学
    • 1 篇 科学技术史(分学科...
  • 8 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 农学
    • 2 篇 作物学
  • 2 篇 医学
    • 2 篇 临床医学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 7 篇 artificial intel...
  • 5 篇 runtime
  • 5 篇 tracking
  • 4 篇 delays
  • 4 篇 middleware
  • 4 篇 software
  • 4 篇 information stor...
  • 3 篇 legged locomotio...
  • 3 篇 head
  • 3 篇 information syst...
  • 3 篇 libraries
  • 3 篇 programming
  • 3 篇 hidden markov mo...
  • 3 篇 software enginee...
  • 3 篇 parallel program...
  • 3 篇 java
  • 3 篇 magnetic heads
  • 3 篇 optimization
  • 3 篇 database managem...
  • 3 篇 semantics

机构

  • 6 篇 programming syst...
  • 4 篇 programming syst...
  • 3 篇 institute for pr...
  • 3 篇 research group p...
  • 3 篇 computer science...
  • 2 篇 research group p...
  • 2 篇 machine learning...
  • 2 篇 university of er...
  • 2 篇 dr fusco is a ch...
  • 2 篇 department of co...
  • 2 篇 programming lang...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 department of ph...
  • 2 篇 fraunhofer insti...
  • 2 篇 real-time system...
  • 2 篇 research group p...
  • 2 篇 algorithmiq ltd ...
  • 2 篇 machine learning...
  • 2 篇 cerenion oy oulu

作者

  • 19 篇 michael philipps...
  • 15 篇 philippsen micha...
  • 12 篇 christopher muts...
  • 8 篇 christiansen hen...
  • 7 篇 tobias feigl
  • 5 篇 mutschler christ...
  • 4 篇 braüner torben
  • 4 篇 henning christia...
  • 4 篇 georg dotzler
  • 4 篇 zimborás zoltán
  • 3 篇 troels andreasen
  • 3 篇 petit matthieu
  • 3 篇 löffler christof...
  • 3 篇 theil have chris...
  • 3 篇 kolarovszki zolt...
  • 3 篇 chabbi milind
  • 3 篇 have christian t...
  • 3 篇 veldema ronald
  • 3 篇 chris mcdonald
  • 3 篇 kaposi ágoston

语言

  • 113 篇 英文
  • 3 篇 其他
  • 1 篇 法文
  • 1 篇 中文
检索条件"机构=Programming Systems Group"
118 条 记 录,以下是1-10 订阅
Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes  35th
Employing Polyhedral Methods to Reduce Data Movement in FP...
收藏 引用
35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022
作者: Mayer, Florian Brandner, Julian Philippsen, Michael Programming Systems Group Erlangen Germany
Due to the ubiquity of stencil codes in scientific computing there is a strong need to optimize their runtimes. When using a GPU as an accelerator, programmers need to amortize the cost of shipping data to/from the de... 详细信息
来源: 评论
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM...
收藏 引用
2021 Workshop on Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks, CheckMate 2021
作者: Novac, Daniela Eichler, Christian Philippsen, Michael Programming Systems Group Operating Systems and System Software Group
While software protection mechanisms, such as DRM and online services, hinder the unrestrained duplication of games and applications, these mechanisms fail at protecting individual software components from reuse by in... 详细信息
来源: 评论
The Impact of List Reduction for Language Agnostic Test Case Reducers
The Impact of List Reduction for Language Agnostic Test Case...
收藏 引用
International Conference on Software Testing, Verification, and Validation, ICST
作者: Tobias Heineken Michael Philippsen Programming Systems Group Friedrich-Alexander University Erlangen-Nümberg (FAU) Germany
To find and fix bugs in compilers or in other code processing tools, modern language agnostic test case reducers boil the input files down to small bug-triggering versions. To do so they carefully craft lists of poten... 详细信息
来源: 评论
Computationally Efficient Early Prognosis of the Outcome of Comatose Cardiac Arrest Survivors Using Slow-Wave Activity Features in EEG  50
Computationally Efficient Early Prognosis of the Outcome of ...
收藏 引用
50th Computing in Cardiology, CinC 2023
作者: Salminen, Miikka Partala, Juha Vayrynen, Eero Kortelainen, Jukka Cerenion Oy Oulu Finland University of Oulu Oulu University Secure Programming Group Biomimetics and Intelligent Systems Group Oulu Finland University of Oulu Physiological Signal Analysis Team Center for Machine Vision and Signal Analysis Mrc Oulu Oulu Finland
This study, part of 'Predicting Neurological Recovery from Coma After Cardiac Arrest: The George B. Moody PhysioNet Challenge 2023', evaluated a computationally efficient method in predicting cardiac arrest (C... 详细信息
来源: 评论
Static and Dynamic Dependency Visualization in a Layered Software City
收藏 引用
SN Computer Science 2022年 第6期3卷 511页
作者: Dashuber, Veronika Philippsen, Michael QAware GmbH Aschauer Str. 32 Munich 81549 Germany Programming Systems Group Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Martensstr. 3 Erlangen 91058 Germany
A Software City is an established way to visualize metrics such as the test coverage or complexity. As current layouting algorithms are mainly based on the static code structure, dependencies that are orthogonal to th... 详细信息
来源: 评论
Practical Flaky Test Prediction using Common Code Evolution and Test History Data
Practical Flaky Test Prediction using Common Code Evolution ...
收藏 引用
International Conference on Software Testing, Verification, and Validation, ICST
作者: Martin Gruber Michael Heine Norbert Oster Michael Philippsen Gordon Fraser University of Passau Germany BMW Group Munich Germany Programming Systems Group Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Germany
Non-deterministically behaving test cases cause developers to lose trust in their regression test suites and to eventually ignore failures. Detecting flaky tests is therefore a crucial task in maintaining code quality... 详细信息
来源: 评论
A Study of Real-World Data Races in Golang
arXiv
收藏 引用
arXiv 2022年
作者: Chabbi, Milind Ramanathan, Murali Krishna Programming Systems Group Uber Technologies Inc. SunnyvaleCA United States Programming Systems Group Uber Technologies Inc. New York CityNY United States
The concurrent programming literature is rich with tools and techniques for data race detection. Less, however, has been known about real-world, industry-scale deployment, experience, and insights about data races. Go... 详细信息
来源: 评论
Protecting Locks Against Unbalanced Unlock()
arXiv
收藏 引用
arXiv 2023年
作者: Shahare, Vivek Chabbi, Milind Hegde, Nikhil Indian Institute of Technology Dharwad India Programming Systems Group Uber Technologies Inc. SunnyvaleCA United States
The lock is a building-block synchronization primitive that enables mutually exclusive access to shared data in shared-memory parallel programs. Mutual exclusion is typically achieved by guarding the code that accesse... 详细信息
来源: 评论
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes
arXiv
收藏 引用
arXiv 2024年
作者: Gorczyca, Piotr Arndt, Dörthe Diller, Martin Kettmann, Pascal Mennicke, Stephan Strass, Hannes Computational Logic Group Institute of Artificial Intelligence Germany Logic Programming and Argumentation Group Institute of Artificial Intelligence Germany Knowledge-Based Systems Group Institute for Theoretical Computer Science Germany Faculty of Computer Science TU Dresden Germany
We introduce the Riskman ontology & shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions so a medical device d... 详细信息
来源: 评论
The Tale of Errors in Microservices: Extended Abstract  25
The Tale of Errors in Microservices: Extended Abstract
收藏 引用
Abstracts of the 2025 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer systems
作者: I-Ting Angelina Lee Zhizhou Zhang Abhishek Parwal Milind Chabbi Department of Computer Science & Engineering Washington University in St. Louis St. Louis USA Programming Systems Group Uber Technologies Inc. Sunnyvale USA Marketplace Configurations Uber Technologies Inc. Sunnyvale USA
Microservice architectures have become the de facto paradigm for building scalable, service-oriented systems. Although their decentralized design promotes resilience and rapid development, the inherent complexity lead... 详细信息
来源: 评论