Mayur Naik - Bücher - alle Infos bei Yasni.de

(1 - 13 von 13

)

Mayur Naik | Papers With Code

paperswithcode.com

› search

Computer Aided Verification: 32nd International Conference, ...

books.google.es

151 Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, and Le Song MetaVal: Witness Validation via Verification Dirk Beyer and Martin Spiessl .

Hardware and Software: Verification and Testing: 12th ...

books.google.es

Mayur Naik was engaged in early discussions about this work. Higor Amario de Souza shared the jsoup code. This work was partially supported by CNPq grants ...

Practical Aspects of Declarative Languages: 22nd ...

books.google.es

, Proceedings Ekaterina Komendantskaya, Yanhong Annie Liu. Learning Interpretable Rules from Structured Data Mayur Naik University of Pennsylvania ...

Programming Languages and Systems: 14th European Symposium on...

books.google.es

Journal of Computer and System Sciences, 17:348–375, C. Mossin. Exact flow analysis. In Proceedings of SAS'97, pages 250–264, Mayur Naik.

Resource Proportional Software Design for Emerging Systems - Suparna...

books.google.es

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, and Mayur Naik. Effective program debloating via reinforcement learning. In Proceedings of the ACM SIGSAC ...

Cooperative Bug Isolation: Winning Thesis of the ACM Doctoral...

books.google.de

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening...

Hardware and Software: Verification and Testing: 10th International...

books.google.de

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November The...

Runtime Verification: Second international Conference, RV 2011, San...

books.google.de

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San...

Computer Aided Verification: 29th International Conference, CAV

books.google.de

The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV...

Multiprocessor Systems-on-Chips - Google Books

books.google.de

The final chapter, Chapter 12, by Jens Palsberg and Mayur Naik, describes methods for software compilation taking resource constraints into account. Given the ...

Static Analysis: 18th International Symposium, SAS Venice,...

books.google.de

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September The...

Computer Aided Verification: 21st International Conference, CAV

books.google.de

Intel Research mayur.naik ...

Verwandte Suchanfragen zu Mayur Naik

Alex Aiken

Personen
Vorname "Mayur" (151)
Name "Naik" (321)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Mayur Naik