321 – 330 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Optimization of Anomaly Detection in a Microservice System Through Continuous Feedback from Development
(2022) 2022 IEEE/ACM 10th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS) p.13-20
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower bounds for Boolean circuits of bounded negation width
- Contribution to journal › Article
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
(2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
(2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Cues in Compiler Conversations
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Looking Back, Moving Forward : A Handover
- Contribution to journal › Scientific review
-
Mark
JFeature : Know Your Corpus
(2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes: Source Code Based Exploration of Program Analysis Results (Artifact)
(2022)
- Other contribution › Miscellaneous
-
Mark
LassoBench : A High-Dimensional Hyperparameter Optimization Benchmark Suite for Lasso
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
(2022) In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(11). p.3957-3968
- Contribution to journal › Article
