Filters








79,325 Hits in 4.9 sec

Towards program optimization through automated analysis of numerical precision

Michael D. Linderman, Matthew Ho, David L. Dill, Teresa H. Meng, Garry P. Nolan
2010 Proceedings of the 8th annual IEEE/ ACM international symposium on Code generation and optimization - CGO '10  
We present several case study applications that demonstrate the effectiveness of these techniques and the performance benefits that can be achieved with rigorous precision analysis.  ...  The programmer/compiler can use these bounds to numerically verify and optimize an application for different input and machine configurations.  ...  This work was partially supported by the C2S2 Focus Center, one of six research centers funded under the Focus Center Research Program (FCRP), a Semiconductor Research Corporation subsidiary; and NIH grant  ... 
doi:10.1145/1772954.1772987 pmid:28804690 pmcid:PMC5552069 dblp:conf/cgo/LindermanHDMN10 fatcat:zuncavs23vgfpkeypbs7h2diru

2019 Index IEEE Transactions on Automation Science and Engineering Vol. 16

2019 IEEE Transactions on Automation Science and Engineering  
Zuo, X., +, TASE Jan. 2019 433-447 Factory automation A Survey of Automated Threaded Fastening. Jia, Z., +, TASE Jan. Ambulance Deployment With Relocation Through Robust Optimization.  ...  ., +, TASE Jan. 2019 2-5 Mobile Phone Data Analysis: A Spatial Exploration Toward Hotspot Detec- tion.  ... 
doi:10.1109/tase.2019.2947106 fatcat:5qne2aprm5cjzk7wcyg4volf6u

Manufacturing Integration Challenges [chapter]

Van Khai Nguyen
2015 Enterprise Interoperability  
" for simultaneously tackling quality, productivity and sustainability through a unique and interoperable IT platform.  ...  The end-to-end process integration towards the virtual factory could be realized if only based on a fully digital factory model composed by Product, Process, Resource and Plant and their live characterization  ...  Numerical control (NC) is the automation of machine tools that are operated by precisely programmed commands encoded on a storage medium, as opposed to controlled manually via hand wheels or levers, or  ... 
doi:10.1002/9781119081418.ch4 fatcat:3gycfiu3kjbnnclhlne4fdz7lm

Automated Software Design Reusability using a Unique Machine Learning Technique

2020 VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE  
The proposed model is validated through a numerical analysis that shows the effectiveness of the system in terms of both classification accuracy and computational efficiency.  ...  Software reusability and design automation is a key requirement that can be handled through the integration of artificial intelligence (AI) capabilities with the traditional approach of software development  ...  It also shows the learning precision of the formulated approach is quite higher, which is ~96% overall.  ... 
doi:10.35940/ijitee.e3010.039520 fatcat:aqjibljxijhcbffbx5ijzh75me

Lightweight Tensile Structures towards an Architectural-Engineering Integration

Marios C Phocas
2015 Journal of Architectural Engineering Technology  
Citation: Phocas MC (2013) Lightweight Tensile Structures towards an Architectural-Engineering Integration. J Archit Eng Tech S7:e001.  ...  Citation: Phocas MC (2013) Lightweight Tensile Structures towards an Architectural-Engineering Integration. J Archit Eng Tech S7:e001.  ...  developments in the area: design and computational analysis, design optimization and automated manufacture, and open loop multivariable systems performance based design.  ... 
doi:10.4172/2168-9717.s7-e001 fatcat:og2dzuibvzh45fcqtfdu3wgdly

Efficient Algorithm for Numerical Optimization

G. N. VANDERPLAATS
1979 Journal of Aircraft  
Very little effort has been directed toward improving the efficiency of the automated design process. Rather, the principal im- provement has been in the method of defining the airfoil.  ...  Most of this work has been directed toward the application of these techniques to a wide variety of design problems while at the same time using increasingly sophisticated and time-consuming analysis programs  ... 
doi:10.2514/3.49805 fatcat:wand4bfuijgcro7lr2nqpufo2m

Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC [article]

Ganesh Gopalakrishnan and Paul D. Hovland and Costin Iancu and Sriram Krishnamoorthy and Ignacio Laguna and Richard A. Lethin and Koushik Sen and Stephen F. Siegel and Armando Solar-Lezama
2017 arXiv   pre-print
In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to bugs, especially in the face of growing hardware and software heterogeneity  ...  We identify key areas where timely new research must be proactively begun to address these challenges, and create new correctness tools that must ideally play a significant role even while ramping up toward  ...  Given the shift toward automated data layout and iteration-space optimizations achieved through portability layers such as RAJA [59] and Kokkos [42] , the integrity of such "tall compilation stacks"  ... 
arXiv:1705.07478v1 fatcat:2rebouk2tvbqhcfthfhz5abd7i

Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams

Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter
2018 Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics  
In this setting, complexity of planning and programming such robotic applications grows due to the drastic increase in flexibility, performance and robustness required.  ...  The proposed approach integrates process experts and automation experts on all levels.  ...  during planning, and focusing on reaching the required precision through a team of mobile robots.  ... 
doi:10.5220/0006884806150622 dblp:conf/icinco/GluckHNSRV18 fatcat:6gefvsbfmzbwfdz3puh55fjrqi

Efficient Parallel Levenberg-Marquardt Model Fitting towards Real-Time Automated Parametric Imaging Microscopy

Xiang Zhu, Dianwen Zhang, Derek Abbott
2013 PLoS ONE  
Citation: Zhu X, Zhang D (2013) Efficient Parallel Levenberg-Marquardt Model Fitting towards Real-Time Automated Parametric Imaging Microscopy. PLoS ONE 8(10): e76665.  ...  We demonstrate the performance of GPU-LMFit for the applications in superresolution localization microscopy and fluorescence lifetime imaging microscopy.  ...  Contributed reagents/ materials/analysis tools: XZ DZ. Wrote the paper: XZ DZ.  ... 
doi:10.1371/journal.pone.0076665 pmid:24130785 pmcid:PMC3794933 fatcat:lelf6s3tgbejhdy5cjhqt7jjny

Intelligent automation of dental material analysis using robotic arm with Jerk optimized trajectory

Robertas Damaševičius, Rytis Maskeliūnas, Gintautas Narvydas, Rūta Narbutaitė, Dawid Połap, Marcin Woźniak
2020 Journal of Ambient Intelligence and Humanized Computing  
Many types of biomaterial analysis require numerous repetition of the same operations.  ...  We suggest applying the principles of Total Laboratory Automation (TLA) for analysis of dental tissues in in-vitro conditions.  ...  Acknowledgements The Ethics Board of Faculty of Informatics, Kau-  ... 
doi:10.1007/s12652-020-02605-8 fatcat:vfpx5tiqgzerpc5eldirv6mr54

Intelligent Automation Module-Based Gear Edge Grinding System

Cheng-Kai Huang, Yeou-Bin Guu, Chwen-Yi Yang, Yi-Ying Lin, Jan-Hao Chen
2020 Journal of Mechanics Engineering and Automation  
programming software must be adjusted by on-site personnel in accordance with the processing results; and (3) because of workpiece positioning errors and tool wear, achieving acceptable processing results  ...  As industry progresses toward intelligent production and development, on-site workers that perform repetitive tasks will be replaced by intelligent machines.  ...  Acknowledgement The researchers would like to express gratitude toward the Technology Development Program of the Ministry of Economic Affairs and the Industrial Technology Research Institution for providing  ... 
doi:10.17265/2159-5275/2020.01.004 fatcat:zw765iiicvfh7d3b726ygjjmua

Centrifugal microfluidic platform for rapid PCR amplification using integrated thermoelectric heating and ice-valving

Mary Amasia, Meghan Cozzens, Marc J. Madou
2012 Sensors and actuators. B, Chemical  
Jonathan Siegrist who contributed greatly to the development of this system.  ...  The authors thank Ben Sowers and Biosearch Technologies for supplying the template DNA and for assistance in assay optimization.  ...  The PCR chamber design and spin profile was previously validated through the Volume of Fluid (VOF) numerical modeling method [39] .  ... 
doi:10.1016/j.snb.2011.11.080 fatcat:n2pdbputgre37ft3btljdxssky

Robotic Process Automation and Artificial Intelligence in Industry 4.0 – A Literature review

Jorge Ribeiro, Rui Lima, Tiago Eckhardt, Sara Paiva
2021 Procedia Computer Science  
Robotic Process Automation (RPA) has numerous advantages in terms of automating organizational and business processes.  ...  Robotic Process Automation (RPA) has numerous advantages in terms of automating organizational and business processes.  ...  However, in recent years, numerous implementations (at the academic level) of algorithms are used in free programming languages (such as R and python), and some initiatives of RPA may take advantage of  ... 
doi:10.1016/j.procs.2021.01.104 fatcat:2znmc6loyzemzjfvepvvgqtba4

Towards the Integration of Symbolic and Numerical Static Analysis [chapter]

Arnaud Venet
2008 Lecture Notes in Computer Science  
In order to analyze real code the analysis must be able to attach numerical properties to objects of the program, for example: the number of bytes transmitted through a channel to the channel descriptor  ...  In conclusion, combining symbolic and numerical analyses allows us to achieve the high level of precision required to perform automatic verification of pointerintensive programs.  ... 
doi:10.1007/978-3-540-69149-5_24 fatcat:cul4tjpxhzfthhcvhjueoxui7m

Automatically adapting programs for mixed-precision floating-point computation

Michael O. Lam, Jeffrey K. Hollingsworth, Bronis R. de Supinski, Matthew P. Legendre
2013 Proceedings of the 27th international ACM conference on International conference on supercomputing - ICS '13  
We include a simple search algorithm to automate identification of code regions that can use lower precision.  ...  This framework allows developers to explore mixed-precision configurations without modifying their source code, and it enables automatic analysis of floating-point precision.  ...  Department of Energy.  ... 
doi:10.1145/2464996.2465018 dblp:conf/ics/LamHSL13 fatcat:n4rrmzs4hjdxzio4wkjg6r23ci
« Previous Showing results 1 — 15 out of 79,325 results