What are the 'carry over effects' in changing from a procedural to a declarative approach? (Englisch)
- Neue Suche nach: Siddiqi, J.
- Neue Suche nach: Khazaei, B.
- Neue Suche nach: Siddiqi, J.
- Neue Suche nach: Khazaei, B.
In:
Proceedings of the 13th Annual International Computer Software and Applications Conference
;
708-710
;
1989
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:What are the 'carry over effects' in changing from a procedural to a declarative approach?
-
Weitere Titelangaben:Was sind die Übertragungseffekte beim Wechsel von einer prozeduralen zu einer deklarativen Methode?
-
Beteiligte:Siddiqi, J. ( Autor:in ) / Khazaei, B. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE Comput. Soc. Press
-
Erscheinungsort:Washington
-
Erscheinungsdatum:1989
-
Format / Umfang:3 Seiten, 6 Quellen
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 0_1
-
Proceedings of the 13th Annual International Computer Software and Applications Conference (Cat. No.89CH2743-3)| 1989
- 2
-
Minimization of task turnaround time for distributed systemsChiun-Chieh Hsu / Sheng-De Wang / Te-Son Kuo et al. | 1989
- 8
-
Software routing support for task migration in hypercube multiprocessor systemsMcSherry, M.A. / Casavant, T.L. et al. | 1989
- 16
-
On processor allocation in hypercube multiprocessorsHuang, C.H. / Huang, T.L. / Juang, J.Y. et al. | 1989
- 24
-
Derivation of Petri net models of Ada tasking constructs involving timeFong, F.W. / Shatz, S.M. et al. | 1989
- 32
-
Concurrent system design with box structuresBecker, S.A. / Hevner, A.R. et al. | 1989
- 41
-
Structure design of distributed systems using interpreted Petri netsTankoano, J. / Derniame, J.C. et al. | 1989
- 52
-
Autonomous decentralized system test techniqueKawano, K. / Orimo, M. / Mori, K. et al. | 1989
- 62
-
Testing of concurrent softwareTai, K.C. et al. | 1989
- 65
-
Parallel program debuggingLeBlanc, T.J. et al. | 1989
- 67
-
A model to estimate average response time of parallel programsQin, B. / Ammar, R.A. et al. | 1989
- 75
-
Cross-profiling as an efficient technique in simulating parallel computer systemsCovington, R.G. / Jump, J.R. / Sinclair, J.B. et al. | 1989
- 81
-
A model for monitoring and debugging parallel and distributed softwareMarinescu, D.C. / Lumpp, J.E. jun. / Casavant, T.L. / Siegel, H.J. et al. | 1989
- 89
-
A graphics tool to aid in the generation of parallel FORTRAN programsBrewer, O. / Dongarra, J. / Sorensen, D. et al. | 1989
- 94
-
An introduction to the portable parallel programming language SeymourMiller, R. / Stout, Q.F. et al. | 1989
- 102
-
Deterministic execution debugging of concurrent Ada programsTai, K.C. / Carver, R.H. / Obaid, E.E. et al. | 1989
- 111
-
PCF programming model and FORTRAN bindingsLeasure, B. et al. | 1989
- 112
-
Processor scheduling in parallel program executionFang, J. et al. | 1989
- 114
-
Parallel languages, vectorization, and compilersWeiss, M. et al. | 1989
- 116
-
Problem solving environmentsPadua, D.A. et al. | 1989
- 118
-
An environment for the conversion of sequential programs into parallel formsEventoff, W. et al. | 1989
- 120
-
CODE: the Computation Oriented Display EnvironmentBrowne, J.C. et al. | 1989
- 122
-
Effective dynamic scheduling and memory management on parallel processing systemsWeiss, M. / Fang, Z. / Morgan, C.R. / Belmont, P. et al. | 1989
- 130
-
A parallel linked list for shared-memory multiprocessorsTang, P. / Yew, P.C. / Zhu, C.Q. et al. | 1989
- 136
-
Parallelizing nested loops on multicomputers-the grouping approachKing, C.T. / Kau, I.R. et al. | 1989
- 143
-
Scheduling algorithms for coalesced jobs in real-time systemsChen, M.I. / Chung, J.Y. / Lin, K.J. et al. | 1989
- 151
-
ROSE-a reliable operating system environmentNg, T.P. et al. | 1989
- 158
-
Expectations for associative-commutative unification speedups in a multicomputer environmentWilkerson, R.W. / McMillin, B.M. et al. | 1989
- 166
-
Transaction synchronization in distributed shared virtual memory systemsHsu, M. / Tam, V.O. et al. | 1989
- 176
-
Programming with distributed shared memoryRamachandran, U. / Khalidi, M.Y.A. et al. | 1989
- 184
-
Parallel protocol verification using the two-phase algorithmYuang, M.C. / Kershenbaum, A. et al. | 1989
- 195
-
Object-oriented database systemsSadri, F. et al. | 1989
- 197
-
Extensions to the object-oriented paradigmSu, S.Y.W. et al. | 1989
- 200
-
Directions in object-oriented databasesZdonik, S. et al. | 1989
- 201
-
On the definition and maintenance of database views with time-varying domainsBassiouni, M. / Llewellyn, M. et al. | 1989
- 209
-
Integrating the concepts and techniques of semantic modeling and the object-oriented paradigmLam, H. / Su, S.Y.W. / Alashqur, A.M. et al. | 1989
- 218
-
On schema integration in a heterogeneous distributed database management systemDesai, B.C. / Pollock, R. et al. | 1989
- 225
-
Design data modeling with versioned conceptual configurationKitagawa, H. / Ohbo, N. et al. | 1989
- 234
-
Monotonically improving approximate answers to relational algebra queriesSmith, K.P. / Liu, J.W.S. et al. | 1989
- 242
-
A framework for expressing and controlling imprecision in databasesSrivastava, J. / Rotem, D. et al. | 1989
- 250
-
Adaptive selection of access path and join methodLee, Y.H. / Yu, P.S. et al. | 1989
- 257
-
Dynamic signature hashingChung, Y. / Ramakrishna, M.V. et al. | 1989
- 263
-
Greedy file-a new data organization concept for partial match retrievalYun-Huan Chou / Wei-Pang Yang / Chang, C.C. et al. | 1989
- 271
-
A partitioning method for grid file directoriesChun, S.H. / Hedrick, G.E. / Lu, H. / Fisher, D.D. et al. | 1989
- 278
-
Document retrieval expert system shell with worksheet-based knowledge acquisition facilityYasunobu, C. / Itsuki, R. / Tsuji, H. / Mori, F. et al. | 1989
- 286
-
An iterative method for secure inter-procedural information flow controlMizuno, M. et al. | 1989
- 292
-
ALICE: an assertion language for integrity constraint expressionUrban, S.D. et al. | 1989
- 300
-
Designing consistency-preserving database transactionsLiebelt, C. et al. | 1989
- 308
-
Efficient coding for integrated information systems and multimedia databasesBassiouni, M.A. / Waters, C.A. et al. | 1989
- 316
-
An efficient algorithm of compressing decimal notations for tree structuresAoe, J. et al. | 1989
- 324
-
Enhancements to Ziv-Lempel data compressionRogers, C. / Thomborson, C.D. et al. | 1989
- 331
-
Planning for software manufacturingCox, B.J. et al. | 1989
- 334
-
Object-oriented programming in a conventional programming environmentBreen, D.E. / Getto, P.H. / Apodaca, A.A. et al. | 1989
- 344
-
The real advantages of pure object-oriented systems or why object-oriented extensions to C are doomed to failLaLonde, W.R. / McGugan, J. / Thomas, D. et al. | 1989
- 351
-
A structured bipartite inheritance network representation for object-oriented software designYau, S.S. / Liu, C.S. et al. | 1989
- 358
-
Construction of file management systems from software componentsBatory, D.S. / Barnett, J.R. / Roy, J. / Twichell, B.C. / Garza, J. et al. | 1989
- 365
-
An object-oriented methodology for end-user logical database design: the structured entity model approachHiga, K. / Sheng, O.R.L. et al. | 1989
- 374
-
Direct manipulation user interfaces based on constraintsEge, R.K. et al. | 1989
- 381
-
Dynamic window configuration in an object oriented programming environmentLie-Hong Lin / Ching-Roung Chou / Feng-Jian Wang et al. | 1989
- 389
-
The object-oriented design of a visual syntax-directed editor generatorArefi, F. / Hughes, C.E. / Workman, D.A. et al. | 1989
- 397
-
Modeling parts and discrete assembly operations, using an object-oriented data modelPapaconstantinou, C. / Doty, K.L. / Navathe, S.B. et al. | 1989
- 404
-
Structuring large versioned software productsEstublier, J. / Favre, J.M. et al. | 1989
- 412
-
An incremental delivery approach to system development: an empirical studyYaung, A.T.I. / Hsia, P. et al. | 1989
- 420
-
Representing programs in multiparadigm software development environmentsMeyers, S. / Reiss, S.P. et al. | 1989
- 428
-
SEWB: distributed software development environment on workstationsMimura, H. / Maezawa, H. et al. | 1989
- 433
-
Crisis in real-time softwareTilborg, A.M. van et al. | 1989
- 434
-
Critical issues in real-time software systemsAoyama, M. et al. | 1989
- 436
-
On real-time system research and educationHuang, J.C. et al. | 1989
- 437
-
Towards predictable and reliable distributed real-time systemsTokuda, H. et al. | 1989
- 439
-
Rapid prototyping of programming language semantics using PrologBryant, B.R. / Pan, A. et al. | 1989
- 447
-
Interactive control of prototyping processLuqi / Lee, Y. et al. | 1989
- 455
-
Exploratory prototyping through the use of frames and production rulesTsai, J.J.P. / Weigert, T. et al. | 1989
- 463
-
An integrated framework for software prototypingJijun Chen / Junyen Wang / Kuo, J. et al. | 1989
- 471
-
Software development: a paradigm for the futureBasili, V.R. et al. | 1989
- 491
-
Models to estimate the number of faults still resident in the software after test/debug processTohma, Y. et al. | 1989
- 493
-
Quality feedback in software development management-methodology and practical applicationSugahara, M. / Ohmori, A. / Tohyama, M. / Ikegame, H. / Takase, T. et al. | 1989
- 501
-
Evaluating software development environment qualityMiyoshi, T. / Togashi, Y. / Azuma, M. et al. | 1989
- 509
-
Meta-SQAP: meta-methodology for software quality assuranceHonda, K. / Minomura, K. / Komiyama, T. et al. | 1989
- 517
-
Building reliable systems: software testing and analysisSalasin, J. et al. | 1989
- 521
-
Software testing for critical applications: a position paperDeMillo, R.A. et al. | 1989
- 527
-
An approach to software fault localization and revalidation based on incremental data flow analysisTaha, A.B. / Thebaut, S.M. / Liu, S.S. et al. | 1989
- 535
-
Method of determining effective software testing regions: detection of software defects related to external specification changesKaneko, T. / Nakajo, T. et al. | 1989
- 543
-
A tool to generate DEBUG program of arbitrary type of microprocessorsGong, J. / Lu, M. / Li, N. et al. | 1989
- 559
-
An amalgamated model of software usabilityHolcomb, R. / Tharp, A.L. et al. | 1989
- 567
-
Methodologies for meeting hard deadlines in industrial distributed real-time systemsHalang, W.A. / Kraumer, B. et al. | 1989
- 574
-
Statistically-based program size estimationTakahashi, M. / Miyake, T. / Hanata, S. et al. | 1989
- 588
-
A dialogue manager for efficient adaptive man-machine dialoguesUkelson, J. / Rodeh, M. et al. | 1989
- 603
-
A visual solid modeling system using a plane cursorSekine, H. / Terajima, H. et al. | 1989
- 634
-
A knowledge base for code reuse by similarityMacKellar, B.K. / Maryanski, F. et al. | 1989
- 642
-
A knowledge-based debugger for real-time software systems based on a noninterference testing architectureTsai, J.J.P. / Fang, K.Y. / Chen, H.Y. et al. | 1989
- 650
-
Reasoning on requirement specifications: a deductive approachZeroual, K. et al. | 1989
- 658
-
'Entropy production rate' and 'entropy' for neural networksChang, H.J. / Huang, K.S. / Huang, K.T. et al. | 1989
- 664
-
Stochastic backpropagation: a learning algorithm for generalization problemsRamamoorthy, C.V. / Shekhar, S. et al. | 1989
- 672
-
Implementing a self-development neural network using doubly linked listsLee, T. / Peterson, A.M. et al. | 1989
- 680
-
Connected component labeling using self-organizing feature mapsBaraghimian, G.A. et al. | 1989
- 685
-
Application of mathematical constraint resolution to decision support systemLin, F.T. / Juang, J.Y. / Lee, D.T. et al. | 1989
- 693
-
A volume sorting hidden-surface algorithmZhou, X. / Iskandar, K. / Staudhammer, J. et al. | 1989
- 700
-
Concurrent LISP based on lexical scopeSugimoto, S. / Sakaguchi, T. / Tabata, K. et al. | 1989
- 708
-
What are the 'carry over effects' in changing from a procedural to a declarative approach?Siddiqi, J. / Khazaei, B. et al. | 1989
- 711
-
A high-order logic programming framework for complex objects reasoningQiming Chen et al. | 1989
- 719
-
Entailment as a logical basis for incremental generation of causal relationsCheng, J. / Ushijima, K. et al. | 1989
- 727
-
A semantic processor for natural languageWeber, J.C. / Berry, P.C. / Hagamen, W.D. / Iverson, K.E. et al. | 1989
- 734
-
PUC: a knowledge based environment for planned user communicationGuaranys, P.Y. / Lucena, C.J.P. et al. | 1989
- 741
-
The implementation of nonlocal dependency relationship in interactive environmentYong Zheng / Jiahua Qian et al. | 1989
- 746
-
A representation for discrete assembly sequences in task planningAyoub, R.G. / Doty, K.L. et al. | 1989
- 754
-
KLMR: a knowledge language for model realizationShi-Yu Liang / Chen Yong / Li Zhi-Chong et al. | 1989
- 760
-
Scatter-Brain: an experiment in distributed problem solving applied to load balancingMittal, V.O. / Singhal, M. et al. | 1989
- 767
-
Expert system based automatic network fault management systemYeh, S.W. / Wu, C. / Sheng, H.D. / Hung, C.K. / Lee, R.C. et al. | 1989
- 776
-
The influence of manufacturing paradigms on system development methodologiesColeman, D.S. et al. | 1989
- 777
-
Where AI/KB techniques fit into software development/engineeringLively, W.M. et al. | 1989
- 779
-
A knowledge-based supervision model for machine toolsYoon, T. / Principe, J.C. et al. | 1989
- 781
-
Next Steps: Navistar's compensation reserve expert system advisorMarkowitz, J.A. et al. | 1989
- 783
-
An integrated engineering workstation for automated guided vehicle systems designBakkalbasi, O. / Gong, D.C. / Peters, B.A. / Goetschalckz, M. / McGinnis, L.F. et al. | 1989
- 786
-
A2QDT: a syntax-directed Prolog dialect translatorDu, M.W. / Chang, S.C. / Chow, A. et al. | 1989
- 788
-
A set-oriented inference mechanism for large data-intensive logic-basesQadah, G.Z. et al. | 1989