New generic indexing technology

There has been no fundamental change in the dynamic indexing methods supporting database systems since the invention of the B-tree twenty-five years ago. And yet the whole classical approach to dynamic database indexing has long since become inappropriate and increasingly inadequate. We are moving rapidly from the conventional one-dimensional world of fixed-structure text and numbers to a multi-dimensional world of variable structures, objects and images, in space and time. But, even before leaving the confines of conventional database indexing, the situation is highly unsatisfactory. In fact, our research has led us to question the basic assumptions of conventional database indexing. We have spent the past ten years studying the properties of multi-dimensional indexing methods, and in this paper we draw the strands of a number of developments together - some quite old, some very new, to show how we now have the basis for a new generic indexing technology for the next generation of database systems

TOWARDS GENERIC SYSTEM OBSERVATION MANAGEMENT

Едно от най-големите предизвикателства на информатиката е да създава правилно работещи компютърни системи. За да се гарантира коректността на една система, по време на дизайн могат де се прилагат формални методи за моделиране и валидация. Този подход е за съжаление труден и скъп за приложение при мнозинството компютърни системи. Алтернативният подход е да се наблюдава и анализира поведението на системата по време на изпълнение след нейното създаване. В този доклад представям научната си работа по въпроса за наблюдение на копютърните системи. Предлагам един общ поглед на три основни страни на проблема: как трябва да се наблюдават компютърните системи, как се използват наблюденията при недетерминистични системи и как се работи по отворен, гъвкав и възпроизводим начин с наблюдения.One of the biggest challenges in computer science is to produce correct computer systems. One way of ensuring system correction is to use formal techniques to validate the system during its design. This approach is compulsory for critical systems but difficult and expensive for most computer systems. The alternative consists in observing and analyzing systems' behavior during execution. In this thesis, I present my research on system observation. I describe my contributions on generic observation mechanisms, on the use of observations for debugging nondeterministic systems and on the definition of an open, flexible and reproducible management of observations.Un des plus grands défis de l'informatique est de produire des systèmes corrects. Une manière d'assurer la correction des systèmes est d'utiliser des méthodes formelles de modélisation et de validation.Obligatoire dans le domaine des systèmes critiques, cette approche est difficile et coûteuse à mettre en place dans la plupart des systèmes informatiques.L'alternative est de vérifier le comportement des systèmes déjà développés en observant et analysant leur comportement à l'exécution.Ce mémoire présente mes contributions autour de l'observation des systèmes. Il discute de la définition de mécanismes génériques d'observation, de l'exploitation des observations pour le débogage de systèmes non déterministes et de la gestion ouverte, flexible et reproductible d'observations

Northern Light, September 20, 1999

The Staff (3) The Northern Light passes out some kudos By: Unknown (4) Cultural studies, a conservative viewpoint By: Kenneth Teel (5) Letters to the editor (5) Changes will have wanna-be teachers in classroom longer By: Assly Sayyar (6) UAA gets $1 million grant By: Robert Pearson (6) Mountaineering class gets back on track By: Echo Gamel (7) Course Curriculum for AOEE A194 (118) Mountaineering I (7) Dividend debate gets aired at UAA By: Donovon Dildine (8) Parking Services deducts fines from employee paychecks By: Donovon Dildine (9) News Briefs (10) Campus Scanner (10) ‘Galactic’ cities seen from UAA By: Donovon Dildine (11) Your money of your life: Students leave school with increasing debt By: Jessica Lazzewski (12) Online courseware for everyone By: Donovon Dildine (14) The psychology of the platform war veteran By: Donovon Dildine (14) Web Pages of the week (14) The AIDS legacy through a lens By: Mike Conti (16-17) Horoscope (18) Your student health center By: Daryl Young (18) Ask miss kitty and Dr. Tanpam (19) Fun with animals By: Adam Overland (19) Caution: text books ahead By: Stephanie Tripp (20) Sleeping bird brains By: Ned Rozell (21) Local band searches West Coast By: Jackye Stephens (22) Warning: You’ll need your Bible to get through this movie By: Erick Hayden (22) Comics (23) Crossword (23) Ponder this… (23) Classifieds (24) Events for the week of Sept. 12-21 (25) Box Seat By: Unknown (25) Weakland heading to Fresno By: Patrick J. Paul (28) Women dominate Savannah College By: Patrick J. Paul (28) Four gymnasts awarded academic all-American honors By: Patrick J. Paul (29) Former N.C. wrestler acquitted on manslaughter, guilty of misdemeanor charge By: Zack Mazer (29

Studies related to the process of program development

The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications