美国计算机协会
期刊
会议
图书
作者:Gagandeep Singh , Ahsan Javed Awan ...
来源:[C].Software and Compilers for Embedded Systems2019ACM
摘要:Emerging computing architectures such as near-memory computing (NMC) promise improved performance for applications by reducing the data movement between CPU and memory. However, detecting such applications is not a trivial task. In this ongoing work, we extend the state-of-the-ar...
作者:Gagandeep Singh , Markus Püschel , Martin Vechev
来源:[C].Programming Language Design and Implementation2015ACM
摘要:Numerical abstract domains are a fundamental component in modern static program analysis and are used in a wide range of scenarios (e.g. computing array bounds, disjointness, etc). However, analysis with these domains can be very expensive, deeply affecting the scalability and pr...
作者:Gagandeep Singh , Sandeep Kad
来源:[C].Information and Communication Technology for Competitive Strategies2016ACM
摘要:Multimedia security and copyright protection has been a popular topic for research and application, due to the explosion of data exchange over the internet and the widespread use of digital media. Watermarking is a process of hiding the digital information inside a digital media....
作者:Gagandeep Singh , Markus Püschel , Martin Vechev
来源:[C].Principles of Programming Languages2017ACM
摘要:Numerical abstract domains are an important ingredient of modern static analyzers used for verifying critical program properties (e.g., absence of buffer overflow or memory safety). Among the many numerical domains introduced over the years, Polyhedra is the most expressive one, ...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×