Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Automatic Programming

Results

Instruction set processor specifications (ISPS): The notation and its applications
1981 / IEEE
By: Barbacci, M.R.;
Automatic program generation in distributed cooperative computation
1984 / IEEE
By: Pnueli, A.; Prywes, N.;
Programming in the large
1986 / IEEE
By: Ramamoorthy, C.V.; Prakash, A.; Garg, V.;
Gandalf: Software development environments
1986 / IEEE
By: Habermann, A.N.; Notkin, D.;
Mechanical verification and automatic implementation of communication protocols
1986 / IEEE
By: Sidhu, D.P.; Blumer, T.P.;
Managing Software Complexity and Variability in Coupled Climate Models
2011 / IEEE
By: Dunlap, R.; Rugaber, S.; Ansari, S.; Mark, L.;
GenProg: A Generic Method for Automatic Software Repair
2012 / IEEE
By: Forrest, S.; ThanhVu Nguyen; Le Goues, C.; Weimer, W.;
The Kremlin Oracle for Sequential Code Parallelization
2012 / IEEE
By: Garcia, S.; Taylor, M.B.; Louie, C.; Donghwan Jeon;
Debugging on the Shoulders of Giants: Von Neumann's Programs 65 Years Later
2012 / IEEE
By: Skrien, D.; Fagin, B.;
Oracle-guided component-based program synthesis
2010 / IEEE / 978-1-60558-719-6
By: Gulwani, S.; Jha, S.; Tiwari, A.; Seshia, S.A.;
Closed-loop data flow in CAX chains and application
2011 / IEEE / 978-1-4244-9439-2
By: Guisheng Gui; Lei Gao;
Generalizing topological task graphs from multiple symbolic demonstrations in programming by demonstration (PbD) processes
2011 / IEEE / 978-1-61284-385-8
By: Abbas, T.; MacDonald, B.A.;
Virtual robot teaching for humanoid hand robot using muti-fingered haptic interface
2011 / IEEE / 978-1-4244-9796-6
By: Nanmo, S.; Kawasaki, H.; Ueki, S.; Mouri, T.;
Automatic Library Generation for BLAS3 on GPUs
2011 / IEEE / 978-1-61284-372-8
By: Lei Wang; Huimin Cui; Xiaobing Feng; Yang Yang; Jingling Xue;
Whip: A framework for mashup development with block-based development approach
2011 / IEEE / 978-1-4577-0752-0
By: Latih, R.; Muhammad, S.H.; Yiqi, T.; Zin, A.M.; Patel, A.M.;
Part information modeling based on manufacturing features
2011 / IEEE / 978-1-61284-449-7
By: Ming Li; Quan-qing Li;
On-line learning and planning in a pick-and-place task demonstrated through body manipulation
2011 / IEEE / 978-1-61284-990-4
By: Gaussier, P.; Quoy, M.; Andry, P.; Hirel, J.; de Rengerve, A.;
A Generative Approach to Searching Algorithmic Programs Development
2011 / IEEE / 978-1-4577-1487-0
By: Haihe Shi; Jinyun Xue;
Distributed generalization of learned planning models in robot programming by demonstration
2011 / IEEE / 978-1-61284-456-5
By: Schmidt-Rohr, S.R.; Meissner, P.; Jakel, R.; Dillmann, R.;
Conversational programming in action
2011 / IEEE / 978-1-4577-1247-0
By: Repenning, A.;
Automatic Hybrid OpenMP + MPI Program Generation for Dynamic Programming Problems
2011 / IEEE / 978-1-4577-1355-2
By: Stout, Q.F.; Vandenberg, D.R.;
Evolving Computing and Automatic Programming
2011 / IEEE / 978-1-4577-1561-7
By: Qingchun Wang; Aishu Wang;
Cartesian Ant Programming
2011 / IEEE / 978-1-4577-0653-0
By: Hara, A.; Takahama, T.; Watanabe, M.;
A knowledge base for learning probabilistic decision making from human demonstrations by a multimodal service robot
2011 / IEEE / 978-1-4577-1159-6
By: Dillmann, R.; Meissner, P.; Dirschl, G.; Schmidt-Rohr, S.R.;
jPET: An Automatic Test-Case Generator for Java
2011 / IEEE / 978-1-4577-1948-6
By: Albert, E.; Gutierrez, S.; Gomez-Zamalloa, M.; Flores-Montoya, A.; Cabanas, I.;
Towards dynamic backward slicing of model transformations
2011 / IEEE / 978-1-4577-1639-3
By: Ujhelyi, Z.; Varro, D.; Horvath, A.;
Identifying overly strong conditions in refactoring implementations
2011 / IEEE / 978-1-4577-0664-6
By: Gheyi, R.; Mongiovi, M.; Soares, G.;
Implementation of Objects Simulators and Validators Using Program Generation Approach
2011 / IEEE / 978-1-4577-2186-1
By: Gueorguiev, V.; Bodurski, V.; Baldzhiev, N.; Ivanov, I.E.;
Program Generator Architecture
2011 / IEEE / 978-1-4577-2186-1
By: Markov, E.; Gueorguiev, V.; Ivanov, I.E.;
Parallelization of ant colony optimization algorithm using Kaira
2011 / IEEE / 978-1-4577-1676-8
By: Surkovsky, M.; Kromer, P.; Bohm, S.; Behalek, M.; Meca, O.;
Runtime program generation and empirical optimization for sparse matrix-vector multiplication
2012 / IEEE / 978-1-4673-0056-8
By: Aktemur, B.; Kamin, S.; Yildiz, A.;
Generation of Semantic Concurrency Control Program by Using Genetic Programming
2012 / IEEE / 978-1-4673-1536-4
By: Nomiya, H.; Hochin, T.; Tamura, S.;
Generator Flow: An XML Configurable Design Pattern Used in NoGAP
2012 / IEEE / 978-1-4673-0798-7
By: Karlstrom, P.; Wenbiao Zhou;
Online learning of varying stiffness through physical human-robot interaction
2012 / IEEE / 978-1-4673-1405-3
By: Billard, A.; Kronander, K.;
Annotation support for generic patches
2012 / IEEE / 978-1-4673-1759-7
By: Philippsen, M.; Veldema, R.; Dotzler, G.;
Design and implementation of automatic generator of DC-paths
2012 / IEEE / 978-1-4673-0024-7
By: Gang Zhang; Li Zheng; Yonghua Li;
Reinforcement learning algorithm for industrial robot programming by demonstration
2012 / IEEE / 978-1-4673-1653-8
By: Sisak, F.; Stoica, M.; Morosan, A.D.;
AutoClustering: An estimation of distribution algorithm for the automatic generation of clustering algorithms
2012 / IEEE / 978-1-4673-1509-8
By: Meiguins, A.S.G.; Freitas, A.A.; Junior, S.F.S.; Meiguins, B.S.; Limao, R.C.;
Automatic programming as code search: A research agenda
2012 / IEEE / 978-1-4673-1848-8
By: Reiss, S.P.;
Towards software autogeneration
2012 / IEEE / 978-953-233-068-7
By: Radosevic, D.; Magdalenic, I.; Orehovacki, T.;
Specializing Compiler Optimizations through Programmable Composition for Dense Matrix Computations
2014 / IEEE
By: Cui, Huimin; Wang, Qian; Yi, Qing;
Rapid generation of spraying instructions for painting robot basing on automatic programming technology
2014 / IEEE
By: Yuan, Kui; Chai, Xiaojie; Wen, Feng; Cao, Xuewei;
A failure to communicate: Security vulnerabilities in the GridStreamX Edgeware application
2013 / IEEE
By: Kaarst-Brown, Michelle; Brooks, Tyson; McKnight, Lee; Joon Park; Caicedo, Carlos;
Genetic Programming for the Automatic Inference of Graph Models for Complex Networks
2014 / IEEE
By: Ventresca, M.; Bailey, A.; Ombuki-Berman, B.;
Assembly sequence planning of automobile body components based on liaison graph
2007 / Emerald Publishing
By: Y. Xing; G. Chen; X. Lai; S. Jin; J. Zhou;
A hybrid ARQ typeII turbocoding arrangement and its frame error rate performance
2004 / Emerald Publishing
By: XingCheng Liu; MinWei He; GuangZhao Zhang;
Automatic programming: myths and prospects
1988 / IEEE
By: Waters, R.C.; Rich, C.;
Intelligent assistance for software development and maintenance
1988 / IEEE
By: Popovich, S.S.; Feiler, P.H.; Kaiser, G.E.;
Automating software: proceed with caution
1988 / IEEE
By: Voelcker, J.;
An automated software design assistant
1988 / IEEE
By: Karimi, J.; Konsynsky, B.R.;
Generating multitasking Ada programs from high-level specifications
1988 / IEEE / 0-8186-0808-0
By: Shi, Y.; Prywes, N.;
SELF: the power of simplicity (object-oriented language)
1988 / IEEE / 0-8186-0828-5
By: Ungar, D.; Smith, R.B.;
Graphical user interfaces and automatic generation of sequential and parallel code for scientific computing
1988 / IEEE / 0-8186-0828-5
By: Wang, P.S.;
Tool for system design verification
1988 / IEEE / 0-8186-0834-X
By: Brezocnik, Z.; Gerkes, M.; Horvat, B.;
A method for programming matrix algorithms in array processors
1988 / IEEE / 0-8186-0834-X
By: Di Zitti, E.; Curatelli, F.; Arduini, F.; Bisio, G.M.; Zini, A.; Parodi, G.C.;
Dependability evaluation of software fault-tolerance
1988 / IEEE / 0-8186-0867-6
By: Kanoun, K.; Arlat, J.; Laprie, J.-C.;
Archetype: a unified method for the design and implementation of protocol architectures
1988 / IEEE
By: Meandzija, B.;
PELAS-program error-locating assistant system
1988 / IEEE
By: Korel, B.;
An automatic physical designer for network model databases
1988 / IEEE
By: Rullo, P.; Sacca, D.;
Conference program generator software: a program that links desktop publishing and data base technology
1988 / IEEE
By: Knabe, K.; Duffy, T.M.; Palmer, J.;
Semantic feedback in the Higgens UIMS
1988 / IEEE
By: King, R.; Hudson, S.E.;
Optimal chaining in expression trees
1988 / IEEE
By: Boral, H.; Bernstein, D.; Pinter, R.Y.;
Description for a tool specifying and prototyping concurrent programs
1988 / IEEE
By: Vaglini, G.; De Francesco, N.;
Artificial intelligence supportability (Air Force application)
1988 / IEEE
By: Carlton, K.A.;
A static scheduler for the computer aided prototyping system
1988 / IEEE
By: Luqi; Janson, D.;
Interactive problem solving using task configuration and control
1988 / IEEE
By: Kant, E.;
Petri FYI-an intelligent user-extensible system specification tool
1988 / IEEE / 0-8186-0830-7
By: Mills, J.W.; Jorgensen, P.C.;
Implementation of the selectron on transputers
1988 / IEEE / 0-8186-0830-7
By: Moyson, F.;
CAMOTE-computer aided module testing and design environment
1988 / IEEE / 0-8186-0879-X
By: Rozman, I.; Dogsa, T.;
A bus-test program generator for microprocessor systems
1988 / IEEE
By: Baccolini, G.; Offeli, C.;
Programming environments for reusability
1988 / IEEE / 0-8186-0842-0
By: Habermann, A.N.;
Automatic software documentation support: an example of machine translation
1988 / IEEE / 0-8186-0842-0
By: Ourston, D.; McBeth, R.W.;
Attribute grammar based programming and its environment
1988 / IEEE / 0-8186-0842-0
By: Katayama, T.; Shinoda, Y.;
A visual programming language designed for automatic programming
1988 / IEEE / 0-8186-0842-0
By: Shu, N.C.;
On the inconsistency of rigid-body frictional planar mechanics
1988 / IEEE / 0-8186-0852-8
By: Wang, Y.; Mason, M.T.;
Coordinated motion control of multiple robotic devices for welding and redundancy coordination through constrained optimization in Cartesian space
1988 / IEEE / 0-8186-0852-8
By: Ahmad, S.; Luo, S.;
A least-commitment approach to intelligent robotic assembly
1988 / IEEE / 0-8186-0852-8
By: Basanez, L.; Torras, C.; Moed, M.C.; Kelley, R.B.;
Efficient retargetable compiler code generation
1988 / IEEE / 0-8186-0874-9
By: Hatcher, P.J.; Tuller, J.W.;
A language for high-level programming of mathematical applications
1988 / IEEE / 0-8186-0874-9
By: Grossman, F.; Klerer, M.; Klerer, R.J.;
PNSOFT: a menu-driven software package for Petri-net modeling and analysis
1988 / IEEE / 0-8186-0874-9
By: Hura, G.S.; Cvetanovic, M.M.; Buell, C.G.; Costarella, M.A.;
High level communication primitives for concurrent systems
1988 / IEEE / 0-8186-0874-9
By: Garg, V.K.; Ramamoorthy, C.V.;
The elimination of intermediate containers in the evaluation of first-class array expressions
1988 / IEEE / 0-8186-0874-9
By: McCrosky, C.;
Report on a business definition language system
1988 / IEEE / 0-8186-0874-9
By: Yeh, R.T.;
TXL: a rapid prototyping system for programming language dialects
1988 / IEEE / 0-8186-0874-9
By: Halpern, C.D.; Cordy, J.R.; Promislow, E.;
Using problem-solving methods to impose structure on knowledge
1988 / IEEE
By: McDermott, J.;
An application of AI method to automatic generation of NC tapes
1988 / IEEE
By: Miyazaki, M.; Okawa, Y.;
Artificial intelligence based programmable controller software designing
1988 / IEEE
By: Takeuchi, Y.; Matsudaira, T.; Tanimoto, I.; Ono, Y.;
Automatic functional test program generation for microprocessors
1988 / IEEE / 0-8186-0864-1
By: Ho, H.-F.; Lin, C.-S.;
Current research in robotics and automation-automated planning and programming for robotic batch mechanical assembly
1989 / IEEE
By: Strip, D.R.; Eicker, P.J.;
A high level descriptive language for the automatic generation of Fortran and Pascal code
1988 / IEEE / 0-8186-0847-1
By: Makki, A.Z.; Alexander, C.K., Jr.;
Computer aided software configuration management with KMS
1988 / IEEE / 0-8186-0873-0
By: Faltenbacher, W.;
Automated testcase generation for data abstraction
1988 / IEEE / 0-8186-0873-0
By: Jalote, P.; Caballero, M.G.;
Automatic test case generation from relational algebra queries
1988 / IEEE / 0-8186-0873-0
By: Tsai, W.T.; Fayad, M.E.; Keefe, T.F.; Volovik, D.;
Graphical interactions with an automatic programming system
1988 / IEEE
By: Schafer, A.L.;
Building application generators
1988 / IEEE
By: Cleaveland, J.C.;
Software CAD: a revolutionary approach
1989 / IEEE
By: Karam, G.M.; Buhr, R.J.A.; Woodside, C.M.; Hayes, C.J.;
Object-oriented systems
1988 / IEEE
By: Sheu, P.C.; Ramamoorthy, C.V.;
Industrializing software development: a Japanese approach
1989 / IEEE
By: Akima, N.; Ooi, F.;
Design specification in Japan: tree-structured charts
1989 / IEEE
By: Murakami, N.; Miyamoto, K.; Aoyama, M.; Oki, Y.; Nagano, H.;
A critical look at the relationship between AI and software engineering
1988 / IEEE / 0-8186-0890-0
By: Tsai, W.T.; Zualkernan, I.A.; Volovik, D.; Heisler, K.G.;

Next Page
Return To Top