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: Programming

Results

1974 Lake Arrowhead Workshop on structured programming
1974 / IEEE
By: Brown, R. R.;
Automating software design
1974 / IEEE
By: Freeman, Peter;
An analysis of errors and their causes in system programs
1975 / IEEE
By: Endres, A.;
A system for reliable engineering software
1975 / IEEE
By: Culpepper, L.M.;
Language design for programming reliability
1975 / IEEE
By: Horning, J.J.; Gannon, J.D.;
An assessment of the programming language pascal
1975 / IEEE
By: Wirth, N.;
The programming language Concurrent Pascal
1975 / IEEE
By: Hansen, P.B.;
On the problem of uniform references to data structures
1975 / IEEE
By: Mitchell, J.G.; Geschke, C.M.;
Structured programming in a production programming environment
1975 / IEEE
By: Baker, F.T.;
Strong verification of programs
1975 / IEEE
By: Basu, S.K.; Yeh, R.T.;
An experimental program-testing facility
1975 / IEEE
By: Fairley, R.E.;
The COLUMBUS approach
1975 / IEEE
By: Witt, J.;
The source code control system
1975 / IEEE
By: Rochkind, M.J.;
Program design by a multidisciplinary team
1975 / IEEE
By: Voigt, S.;
On preventing programming languages from interfering with programming
1975 / IEEE
By: McKeeman, W.M.;
Proving loop programs
1975 / IEEE
By: Basu, S.K.; Misra, J.;
Specification techniques for data abstractions
1975 / IEEE
By: Liskov, B.H.; Zilles, S.;
An interactive program verification system
1975 / IEEE
By: London, R.L.; Bledsoe, W.W.; Good, D.I.;
A synthesizer of inductive assertions
1975 / IEEE
By: German, S.M.; Wegbreit, B.;
A machine and configuration independent Fortran: Portable Fortran {PFortran}
1975 / IEEE
By: Whitten, D.E.; deMaine, P.A.D.;
Property extraction in well-founded property sets
1975 / IEEE
By: Wegbreit, B.;
Program graphs, an algebra, and their implication for programming
1975 / IEEE
By: Paige, M.R.;
A basic language 8080 microcomputer software development system for time sharing
1976 / IEEE
By: Parrish, E.A.; McDonald, W.E.; Aylor, J.H.;
Applied software engineering: A real-time simulator case history
1975 / IEEE
By: McCammon, S.R.;
STRUCT programming analysis system
1975 / IEEE
By: Stockenberg, J.E.; Van Dam, A.;
Iterative enhancement: A practical technique for software development
1975 / IEEE
By: Basili, V.R.; Turner, A.J.;
Top-down, bottom-up, and structured programming
1975 / IEEE
By: McClure, C.L.;
Structured programming and formal specification
1975 / IEEE
By: Noonan, R.E.;
Towards a programming apprentice
1975 / IEEE
By: Smith, B.; Hewitt, C.E.;
Predicting programming group productivity a communications model
1975 / IEEE
By: Scott, R.F.; Simmons, D.B.;
On structured digraphs and program testing
1981 / IEEE
By: Ntafos, S.C.; Hakimi, S.L.;
Design of a dynamically programmable logic gate
1981 / IEEE
By: Chang, Oscar; Suarez, Ricardo E.; Adam, Vladimir;
Coordination in hierarchical algorithms
1983 / IEEE
By: Singh, M.G.; Dasigi, S.; Xinogalas, T.C.;
Necessary and sufficient conditions for the efficient solutions of nondifferentiable multiobjective problems
1984 / IEEE
By: Ishizuka, Y.; Shimizu, K.;
Using Ada as a programming language for robot-based manufacturing cells
1984 / IEEE
By: Mudge, T.N.; Volz, R.A.; Gal, D.A.;
An investigation of the linear three level programming problem
1984 / IEEE
By: Bard, J.F.;
Computer control via limited natural language
1985 / IEEE
By: Biermann, A.W.; Sigmon, A.H.; Fink, P.K.;
An interactive fuzzy satisficing method using augmented minimax problems and its application to environmental systems
1985 / IEEE
By: Sakawa, M.; Yano, H.;
A recursive algorithm for discrete L1 linear estimation using the dual simplex method
1985 / IEEE
By: Abdelmalek, N.N.;
Flexible software development for multiple computer systems
1986 / IEEE
By: Schwan, K.; Jones, A.K.;
Derivation of a parallel algorithm for balancing binary trees
1986 / IEEE
By: Moitra, A.; Iyengar, S.S.;
The impact on software development costs of using HOL's
1986 / IEEE
By: Gaffney, J.E.;
An experimental evaluation of the assumption of independence in multiversion programming
1986 / IEEE
By: Knight, J.C.; Leveson, N.G.;
A survey of software design techniques
1986 / IEEE
By: Yau, S.S.; Tsai, J.J.-P.;
Knowledge-based programming: A survey of program design and construction techniques
1986 / IEEE
By: Goldberg, A.T.;
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.;
The last 10 percent
1986 / IEEE
By: Mathis, R.F.;
Whether software engineering needs to be artificially intelligent
1986 / IEEE
By: Simon, H.A.;
Experimentation in software engineering
1986 / IEEE
By: Hutchens, D.H.; Selby, R.W.; Basili, V.R.;
Data structured programming: Program design without arrays and pointers
1986 / IEEE
By: Mills, H.D.; Linger, R.C.;
The transformation schema: An extension of the data flow diagram to represent control and timing
1986 / IEEE
By: Ward, P.T.;
Functional programming, formal specification, and rapid prototyping
1986 / IEEE
By: Henderson, P.;
Validating Halstead's theory with system 3 data
1986 / IEEE
By: Lipow, M.;
Real-time software life cycle with the model system
1986 / IEEE
By: Shi, Y.; Szymanski, B.; Tseng, J.S.; Prywes, N.S.;
The cloze procedure and software comprehensibility measurement
1986 / IEEE
By: Zweben, S.H.; Hall, W.E.;
Modular redundancy in a message passing system
1986 / IEEE
By: Mancini, L.;
PCs for AP
1988 / IEEE
By: Miller, E.K.;
The Mythical Man-Month: After 20 years
1995 / IEEE
By: Brooks, F.P., Jr.;
Point/Counterpoint
2000 / IEEE
High-Speed Programming Architecture and Image-Sticking Cancellation Technology for High-Resolution Low-Voltage AMOLEDs
2011 / IEEE
By: Nakamura, N.; Kasai, N.; Ishii, M.; Miyamoto, M.; Kageyama, H.; Kohno, T.; Akimoto, H.;
Analysis of the Correlation Between the Programmed Threshold-Voltage Distribution Spread of nand Flash Memory Devices and Floating-Gate Impurity Concentration
2011 / IEEE
By: Wen-Chuan Chao; Sakamoto, Y.; Jian-Ming Jaw; Hung-Ming Hsueh; Chih-Ming Chao; Shirota, R.; Arakawa, H.; Sheng-Fu Yang;
Fabrication and Characterization of Nanoscale NiO Resistance Change Memory (RRAM) Cells With Confined Conduction Paths
2011 / IEEE
By: Wong, H.-S.P.; Byoungil Lee;
On the Sum-Rate of Multiuser MIMO Uplink Channels with Jointly-Correlated Rician Fading
2011 / IEEE
By: Shi Jin; Chao-Kai Wen; Kai-Kit Wong;
Rail-to-Rail, Linear Hot-Electron Injection Programming of Floating-Gate Voltage Bias Generators at 13-Bit Resolution
2011 / IEEE
By: Chenling Huang; Chakrabartty, S.; Sarkar, P.;
Software Engineering - Missing in Action: A Personal Perspective
2011 / IEEE
By: Parnas, D.;
Real-time disparity estimation algorithm for stereo camera systems
2011 / IEEE
By: Sharma, S.; Sang Hwa Lee;
Verification and Validation for Trustworthy Software Systems
2011 / IEEE
By: Michael, J.B.; Man-Tak Shing; Otani, T.W.; Drusinsky, D.;
Phase-Change Memory RESET Model Based on Detailed Cell Cooling Profile
2011 / IEEE
By: Kwong, K.C.; Mansun Chan; Mok, P.K.T.; Jin He;
The FBI Gets Agile
2011 / IEEE
By: Crandall, M.; Johnson, J.; Fulgham, C.; Burrows, N.; Jackson, L.;
Python for Microwave and RF Engineers [Application Notes]
2011 / IEEE
By: Kinayman, N.;
Scalable service deployment on software-defined networks
2011 / IEEE
By: Meer, H.; Paler, A.; Fischer, A.; Lefevre, L.; Rubio-Loyola, J.; Serrat, J.; Astorga, A.; Galis, A.;
The strange birth and long life of Unix
2011 / IEEE
By: Toomey, W.;
Performance Implications of Nonuniform Device Topologies in Scalable Heterogeneous Architectures
2011 / IEEE
By: Roth, P.C.; Meredith, J.S.; Vetter, J.S.; Spafford, K.L.;
Books
2011 / IEEE
Schottky Barrier Silicon Nanowire SONOS Memory With Ultralow Programming and Erasing Voltages
2011 / IEEE
By: Chenhsin Lien; Wen-Fa Wu; Jr-Jie Tsai; Ruei-Kai Shia; Nguyen Dang Chien; Chun-Hsing Shih; Ji-Ting Liang; Yan-Xiang Luo; Wei Chang; Ming-Kun Huang;
CANCER: Computer Analysis of Nonlinear Circuits Excluding Radiation
2011 / IEEE
By: Nagel, L.W.; Rohrer, R.A.; Weber, L.; Meyer, R.;
From Programming to Modeling - and Back Again
2011 / IEEE
By: Volter, M.;
Software Development for Infrastructure
2012 / IEEE
By: Stroustrup, B.;
The Java Tree Withers
2012 / IEEE
By: Lyon, D.;
Software Crisis 2.0
2012 / IEEE
By: Fitzgerald, B.;
Using Video Tutorials as a Carrot-and-Stick Approach to Learning
2012 / IEEE
By: Barry, R. M.; Wells, J.; Spence, A.;
An Undergraduate Survey Course on Asynchronous Sequential Logic, Ladder Logic, and Fuzzy Logic
2012 / IEEE
By: Foster, D. L.;
A Project-Based Learning Approach to Programmable Logic Design and Computer Architecture
2012 / IEEE
By: Kellett, C.M.;
An Ultra-Low Reset Current Cross-Point Phase Change Memory With Carbon Nanotube Electrodes
2012 / IEEE
By: Jiale Liang; Wong, H.P.; Hong-Yu Chen; Jeyasingh, R.G.D.;
An Approach to Source-Code Plagiarism Detection and Investigation Using Latent Semantic Analysis
2012 / IEEE
By: Joy, M.; Cosma, G.;
Toward a Tool-Based Development Methodology for Pervasive Computing Applications
2012 / IEEE
By: Consel, C.; Bruneau, J.; Cassou, D.; Balland, E.;
Modeling Product Line Software Assets Using Domain-Specific Kits
2012 / IEEE
By: Altintas, N.I.; Oguztuzun, H.; Dogru, A.H.; Cetin, S.;
Programmer-Friendly Refactoring Errors
2012 / IEEE
By: Black, A.P.; Murphy-Hill, E.;
The Shortest Path Problem on a Fuzzy Time-Dependent Network
2012 / IEEE
By: Lixin Ding; Wei Huang;
Sequential Anomaly Detection in the Presence of Noise and Limited Feedback
2012 / IEEE
By: Silva, J.; Horn, C.; Willett, R.M.; Raginsky, M.; Marcia, R.F.;
Energy-Saving Automatic Train Regulation Using Dual Heuristic Programming
2012 / IEEE
By: Wei-Song Lin; Jih-Wen Sheu;
A Fast Algorithm for Multidimensional Ellipsoid-Specific Fitting by Minimizing a New Defined Vector Norm of Residuals Using Semidefinite Programming
2012 / IEEE
By: Xianghua Ying; Hongbin Zha; Li Yang;
Widgets and composition mechanism for service creation by ordinary users
2012 / IEEE
By: Glitho, R.; Bertin, E.; Laga, N.; Crespi, N.;
AMOLEDs With a Pixel-Driving Architecture for Eliminating Crosstalk
2012 / IEEE
By: Akimoto, H.; Nakamura, N.; Miyamoto, M.; Kageyama, H.; Kohno, T.;
Coping with Existing Systems in Information Systems Development
2012 / IEEE
By: Zickert, F.; Beck, R.;
Reading Operation and Cell Scalability of Nonvolatile Schottky barrier Multibit Charge-Trapping Memory Cells
2012 / IEEE
By: Ji-Ting Liang; Chun-Hsing Shih; Yan-Xiang Luo;
Sheet-Type Flexible Organic Active Matrix Amplifier System Using Pseudo-CMOS Circuits With Floating-Gate Structure
2012 / IEEE
By: Takamiya, M.; Tsung-Ching Huang; Takimiya, K.; Zschieschang, U.; Klauk, H.; Sakurai, T.; Take, N.; Tokuhara, T.; Sekitani, T.; Yokota, T.; Someya, T.;
A Dual Programming Model for Distributed Real-Time Java
2011 / IEEE
By: Estevez-Ayres, I.; Garcia-Valls, M.; Basanta-Val, P.;
Project and Implementation for a Programming Language Suitable to Express Adaptive Algorithms
2011 / IEEE
By: Rocha, R.L.A.; Sabaliauskas, J.A.;

Next Page
Return To Top