Filters








13,623 Hits in 3.8 sec

Database-Backed Program Analysis for Scalable Error Propagation

Cathrin Weiss, Cindy Rubio-Gonzalez, Ben Liblit
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
We propose a database-backed strategy for large program analysis based on graph algorithms, using a Semantic Web database to manage representations of the program under analysis.  ...  Our approach is applicable to a variety of interprocedural finite distributive subset (IFDS) dataflow problems; we focus on error propagation as a motivating example.  ...  Acknowledgment We thank the anonymous reviewers for their invaluable feedback.  ... 
doi:10.1109/icse.2015.75 dblp:conf/icse/WeissRL15 fatcat:xlcjoavuufaejhdnx5vmgpwjny

Finding Security Vulnerabilities in Java Applications with Static Analysis

V. Benjamin Livshits, Monica S. Lam
2005 USENIX Security Symposium  
We propose a static analysis approach based on a scalable and precise points-to analysis.  ...  Results of our static analysis are presented to the user for assessment in an auditing interface integrated within Eclipse, a popular Java development environment.  ...  SQL injections are caused by unchecked user input being passed to a back-end database for execution [1, 2, 14, 29, 32, 47] .  ... 
dblp:conf/uss/LivshitsL05 fatcat:mezldggaozexxa2ww344tcmvvu

Deep neural network: Recognize Data Management of Artificial Intelligence in Retail

2019 VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE  
Deep neural networks with the artificial intelligence on Machine Learning (ML) algorithms constitute the best design specifically to deal with vast amount of data for retail business.  ...  This paper proposed combining data management and deep neural networks, ideas to build systems, which vast amount data can share in the database system.  ...  In addition, it uses a back propagation in order to adjust errors. Which are extracting the hidden pattern (streaming) within data from data scientist, data mining and data analysis? A.  ... 
doi:10.35940/ijitee.j9779.0881019 fatcat:cp4x2k5gjvgsjc3sdsh2thkpp4

ConSeq

Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas Reps
2011 Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11  
The lifecycle of a bug thus consists of three phases: (1) triggering, (2) propagation, and (3) failure.  ...  Their effects propagate through data and control dependences until they cause software to crash, hang, produce incorrect output, etc.  ...  We thank people from Daikon research group for providing much needed help. We also thank Mark Hill for his feedback and suggestions.  ... 
doi:10.1145/1950365.1950395 dblp:conf/asplos/ZhangLOSJLR11 fatcat:7w6zqj5hlfb3dd7rpqx23n3tjy

Uncertainty Propagation in Data Processing Systems

Ioannis Manousakis, Íñigo Goiri, Ricardo Bianchini, Sandro Rigo, Thu D. Nguyen
2018 Proceedings of the ACM Symposium on Cloud Computing - SoCC '18  
For example, a social network trend analysis application that combines data sampling with UP can reduce execution time by 2.3x when the user can tolerate a maximum relative error of 5% in the final answer  ...  We present a framework for uncertainty propagation (UP) that allows developers to modify precise implementations of DAG nodes to process uncertain inputs with modest effort.  ...  Others have worked on probabilistic programming to implement type systems [5, 34] and compiler transformations [6, 25] to handle uncertainty, error bounding, and inference for uncertain programs.  ... 
doi:10.1145/3267809.3267833 dblp:conf/cloud/ManousakisGBRN18 fatcat:ng32pkxpyfdqldatji4u6ku3yi

Farmer Buddy-Weather Prediction and Crop Suggestion using Artificial Neural Network on Map-Reduce Framework

Manali Joshi, Saminabano Shaikh, Prachi Waghmode, Padma Mali
2017 International Journal of Computer Applications  
ANN is implemented on Map-Reduce framework for short term rainfall prediction. Additionally, method will detect soil and Regional analysis which can also detect crop depending on user's location.  ...  This paper proposes an approach of using Hadoop for processing such Big volumes, variety and velocity of weather data.  ...  Back propagation networks are idea for simple Patterns Recognition and Mapping tasks.  ... 
doi:10.5120/ijca2017912985 fatcat:xyfqez32mnemhcz3ws4kyimzuu

Scalability of all-optical neural networks based on spatial light modulators [article]

Ying Zuo, Zhao Yujun, You-Chiuan Chen, Shengwang Du, Junwei Liu
2021 arXiv   pre-print
We verify its scalability by measuring and analyzing errors propagating from a single neuron to the entire network.  ...  Here, we demonstrate a scalable AODNN with programmable linear operations and tunable nonlinear activation functions.  ...  CONCLUSION Through a systematical error measurement and analysis, we show that the AODNN based on SLM, Fourier optics and EIT nonlinear activation functions is scalable.  ... 
arXiv:2102.09722v1 fatcat:chj5wzhbyrfchjatsn33dx37sy

Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP

Ettore Merlo, Dominic Letarte, Giuliano Antoniol
2006 2006 13th Working Conference on Reverse Engineering  
Original flow analysis equations, that propagate and combine security levels along an inter-procedural Control Flow Graph (CFG), are presented.  ...  In general, SQL-injection attacks rely on some weak validation of textual input used to build database queries.  ...  The authors wish to thank José Fernandez, Pierre-Marc Bureau, Antoine Rolland, and Kamel Ayari for their contribution to the discussions about SQLinjection and security.  ... 
doi:10.1109/wcre.2006.33 dblp:conf/wcre/MerloLA06 fatcat:prnaxdlgzzdbno54qljvhfdwkq

Estimating software maintenance effort

Ruchi Shukla, Arun Kumar Misra
2008 Proceedings of the 1st conference on India software engineering conference - ISEC '08  
A feed forward backpropagation NN employing Bayesian regularization training is selected and trained for one dataset.  ...  The NN is able to successfully model the maintenance effort as the obtained results are well within the previously published error limits.  ...  Back- propagation COCOMO 63 Development effort MMRE = 428% Srinivasan and Fisher Back- propagation Kemerer and COCOMO 78 Development effort MMRE = 70% Hughes Back- propagation  ... 
doi:10.1145/1342211.1342232 dblp:conf/indiaSE/ShuklaM08 fatcat:yd3uk4dmpfhhbowytjzotlvmny

SherLog

Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
2010 Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems - ASPLOS '10  
Information inferred by SherLog are very useful for programmers to diagnose these evaluated failures.  ...  Computer systems often fail due to many factors such as software bugs or administrator errors.  ...  Acknowledgments We thank the anonymous reviewers for their insightful feedback, the Opera group and Yoann Padioleau for useful discussions and paper proofreading.  ... 
doi:10.1145/1736020.1736038 dblp:conf/asplos/YuanMXTZP10 fatcat:3xywpuy4knaybg6tr62e3wggri

SherLog

Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
2010 SIGARCH Computer Architecture News  
Information inferred by SherLog are very useful for programmers to diagnose these evaluated failures.  ...  Computer systems often fail due to many factors such as software bugs or administrator errors.  ...  Acknowledgments We thank the anonymous reviewers for their insightful feedback, the Opera group and Yoann Padioleau for useful discussions and paper proofreading.  ... 
doi:10.1145/1735970.1736038 fatcat:5oaphuzg5zgxdhscm2smkvccie

SherLog

Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
2010 SIGPLAN notices  
Information inferred by SherLog are very useful for programmers to diagnose these evaluated failures.  ...  Computer systems often fail due to many factors such as software bugs or administrator errors.  ...  Acknowledgments We thank the anonymous reviewers for their insightful feedback, the Opera group and Yoann Padioleau for useful discussions and paper proofreading.  ... 
doi:10.1145/1735971.1736038 fatcat:d7zy44phbzbd7hgxcl2far24wy

Privacy Preserving Back-Propagation Neural Network with Cloud

Kalpana Vyavahare, Aniket Khobragade, Pratiksha Wankhade, Atthar Mansuri, Sampada Kulkarni
2017 IJARCCE  
To improve the accuracy of learning result, in observe multiple parties might collaborate through conducting joint Back propagation neural network learning on the union of their several knowledge sets.  ...  Numerical analysis and experiments on goods cloud show that our theme is secure, economical and correct. 313 increased theme, rather like [6], was proposed for the two-party state of affairs.  ...  Back propagation relies around four elementary equations. Together, those equations offer us the way of computing each the error δlδl and also the gradient of the value operate. V.  ... 
doi:10.17148/ijarcce.2017.6558 fatcat:p6yrkas3d5drldbpdrbyjyx6uy

Marco: Safe, Expressive Macros for Any Language [chapter]

Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley
2012 Lecture Notes in Computer Science  
We describe the Marco language, its languageindependent safety analysis, and how it uses two example target-language analysis plug-ins, one for C++ and one for SQL.  ...  Macros improve expressiveness, concision, abstraction, and language interoperability without changing the programming language itself.  ...  The final program generates SQL queries for extracting bookmark titles from a web browser's database. Data collection methodology.  ... 
doi:10.1007/978-3-642-31057-7_26 fatcat:iekqufleave2niajohxh3ghmua

A Scalability Service for Dynamic Web Applications

Christopher Olston, Amit Manjhi, Charles Garrod, Anastassia Ailamaki, Bruce M. Maggs, Todd C. Mowry
2005 Conference on Innovative Data Systems Research  
We then present our initial work on a novel approach to scalable consistency management.  ...  We also report the shortcomings of our current prototype, the chief one being the lack of a scalable method of managing data consistency.  ...  to service back-end database requests).  ... 
dblp:conf/cidr/OlstonMGAMM05 fatcat:jrnumm35t5dtrfocvtq5b4nypm
« Previous Showing results 1 — 15 out of 13,623 results