International Computing Symposium - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 62 from 62

1977

Microprocessor Based Parallel Computers and Their Application to the Solution of Control AlgorithmsDavid Al-Dabass. icsym 1977: 261-270

Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse PolynomialsVangalur S. Alagar, David K. Probst. icsym 1977: 395-402

Some Measures of Information about Program StatesAndrew T. Arblaster. icsym 1977: 183-190

GRIN - A Simple Command Language for Graphic InteractionG. Barta. icsym 1977: 403-409

Distributed Control, Modularity and Data Types in a Simple Parallel LanguageMarco Bellia, Giorgio Levi. icsym 1977: 441-450

Problem Specification and Algorithmic ProgrammingDidier Bert. icsym 1977: 111-117

Programming Languages: Linguistics and SemanticsDines Bjørner. icsym 1977: 511-536

Programming Languages: Formal Development of Interpreters and CompilersDines Bjørner. icsym 1977: 1-21

Computer Work for Literary Production. A Particular Application for Biblical StudiesE. De Borchgrave, R. F. Poswick. icsym 1977: 253-259

GOSPEL: a Time-Sharing Approach to Continuous System SimulationA. Brini, R. Ferrari, T. Montagna, M. Montagni, G. Perna, J. Szanto. icsym 1977: 271-275

A Distributed Strategy for Resource Allocation in Information NetworksGiacomo Bucci, S. Golinelli. icsym 1977: 345-356

Time-Dependent Blocking of Terminal InputE. Lopes Cardozo. icsym 1977: 425-427

GPGS - General Purpose Graphic SystemL. C. Caruthers, D. Groot, E. Hermans, Andries van Dam, Jan van den Bos. icsym 1977: 411-416

Parsing Languages Described by Syntax GraphsAugusto Celentano. icsym 1977: 227-235

Structured Programming in Cobol - Yet Another ApproachVáclav Chvalovský. icsym 1977: 175-182

Verification of Concurrent Systems of ProcessesJohn Yiannis Cotronis, Peter E. Lauer. icsym 1977: 197-207

DPL: A Mathematical Computation SystemR. A. Cowan. icsym 1977: 429-439

A Case Study in Modular DesignFlaviu Cristian. icsym 1977: 191-196

Solutions and Their ProblemsDennis de Champeaux. icsym 1977: 119-127

Specification and Design of Dialogue Systems with State DiagramsErnst Denert. icsym 1977: 417-424

Using Auxiliary Variables in Parallel Programs VerificationRaymond R. Devillers, Guy Louchard. icsym 1977: 217-225

Programming: From Craft to Scientific DisciplineEdsger W. Dijkstra. icsym 1977: 23-30

Analysis of a Foreground-Background System with Two Levels of Priority among Foreground JobsJ. J. Dumont, Guy Latouche. icsym 1977: 299-304

Types and Related ConceptsReiner Durchholz. icsym 1977: 31-38

Concepts for the Coexistence Approach to Data Base ManagementEckhard D. Falkenberg. icsym 1977: 39-50

Program Restructuring Algorithms for Global LRU EnvironmentsDomenico Ferrari, Makoto Kobayashi. icsym 1977: 277-283

Beyond APL - An Interactive Language for the EightiesWolfgang K. Giloi. icsym 1977: 51-59

A Closed Form Expression of the Page Fault Rate for LRU Paging Algorithm in a Markovian Reference Model of Program BehaviorC. Glowacki. icsym 1977: 315-318

Semantic Approach to Design fo Controller Languages and HardwareE. Mark Gold. icsym 1977: 151-166

Automatic Deadlock Analysis of Parallel ProgramsOtthein Herzog. icsym 1977: 209-216

Algorithmic Embedding in Fuzzy SetsChris J. Hinde. icsym 1977: 381-387

A Comparison of MODULA with Other System Programming LanguagesJiri Hoppe. icsym 1977: 129-133

An Insertion Sort for Uniformly Distributed Keys Based on Stopping TheoryWolfgang Janko. icsym 1977: 373-379

Program Specifications and Formal DevelopmentCliff B. Jones. icsym 1977: 537-553

Very High Level Languages - Some Aspects of the Evolution of Language DesignPhilippe Jorrand. icsym 1977: 61-75

The Evolution of Relational Database Management TechnologyW. E. King. icsym 1977: 77-79

Optimal Partitioning of a Finite Buffer between Two Pairs of Producer-ConsumerGuy Latouche. icsym 1977: 305-313

Terminal Access to Host Computers through RPCNETLivio Lazzeri, Luciano Lenzini, Allen Springer. icsym 1977: 335-344

Project LILA. The ELL(1) Generator of LILA, an IntroductionJohan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts. icsym 1977: 237-251

SODA - A Flexible Scheme for Database/ Program InterfacePaul Lindgreen, Edith Rosenberg. icsym 1977: 467-473

Comparison of Performance Measurements of a Computer System with a Queueing ModelLester Lipsky. icsym 1977: 461-466

Extension of Precompilers for Evaluation of Program TestsMarco Maiocchi. icsym 1977: 167-174

Brains and ProgramsB. Meltzer. icsym 1977: 81-84

More Flexible and Powerful Control Constructs for Structured ProgrammingGiorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone. icsym 1977: 135-142

From Programming Education to Professional PracticeElie Milgrom, Rosemary Michelle Simpson, Pierre Verbaeten, Yves D. Willems. icsym 1977: 103-110

International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint)E. Morlet, D. Ribbens, editors, North-Holland, 1977.

The Funnel, a New and Practical Presentation Method for Program Building BlocksEduard Mumprecht. icsym 1977: 143-150

The Variance of Conditional Waiting Time for the M/G/1 QueueArne Nilsson. icsym 1977: 291-298

Optimal and Sub-Optimal Configurations for Computer NetworksAlan D. Pearman. icsym 1977: 325-333

Balanced Internal Merge SortingEero Peltola, Hannu Erkiö. icsym 1977: 367-371

A Predictive Tool for the Improvement of Program BehaviourP. Ribeyre, P. Y. Saintoyant. icsym 1977: 285-290

To the Problem of Record Placement in Inverted File SystemsGunter Schlageter. icsym 1977: 483-489

A Framework for Distributed Database SystemsFabio A. Schreiber. icsym 1977: 475-482

Privacy Protection - Is It just an Engineering Issue?H. R. Schuchmann. icsym 1977: 505-510

Conceptual Schema, Abstract Data Structures, Enterprise DescriptionsMichael E. Senko. icsym 1977: 85-102

The Relative Merits of Distributed Computing SystemsF. E. Taylor. icsym 1977: 357-365

SPIP: A Way of Writing Portable Operating SystemsDaniel Thalmann, Bernard Levrat. icsym 1977: 451-459

On Safeguarding Statistical Disclosure by Giving Approximate Answers to QueriesMohammad Inam ul Haq. icsym 1977: 491-495

A Design of a Communication Supervisor for a Local Network Employing MonitorsJan van den Bos. icsym 1977: 319-323

Some Bounds on Quasi-Initialised Finite AutomataPaulo A. S. Veloso. icsym 1977: 389-393

Principles of Data Base SystemsM. Vetter. icsym 1977: 555-580

D-GRAPHS: A Conceptial Model for Data BasesHerbert Weber. icsym 1977: 497-504

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

International Computing Symposium (icsym)

Viewing Publication 1 - 62 from 62

1977

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

International Computing Symposium (icsym)

Viewing Publication 1 - 62 from 62

1977

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1