Research

In the computer industry there are plenty of buzzwords that get slung about when talking about the next generation of computer hardware and CPU codenames are quite possibly the hardest to keep track of due to the sheer amount of them. We have put together this list with the codename of each of the existing AMD and Intel processors.

I think the older computers are much more fun than the new ones, well in six months the new computers will be out dated any way, then I'll add them to my collection.

Introduction The processor (CPU, for Central Processing Unit) is the computer's brain. It allows the processing of numeric data, meaning information entered in binary form, and the execution of instructions stored in memory.

MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as a serious system on resource-limited and embedded computers and for applications requiring high reliability.

Glide OS 4.0 is a comprehensive Ad-Free cloud computing solution. Escape from the daily barrage of online floating, pop up, banner and streaming ads and email spam. In addition to providing you with an ad-free alternative, you get more storage, more features and more control over how you share your private information and personal files. Glide is a free suite of rights-based productivity and collaboration applications with 30GBs of storage.

Overview K42 is a research operating system currently being developed to address performance and scalability issues of system software on large-scale, shared-memory, NUMA multiprocessor computers. The operating system is a product of research at the University of Toronto in collaboration with the K42 group at the IBM Thomas J. Watson Research Center. K42 uses a micro-kernel architecture rather than the traditional monolithic kernel design. K42 consists of a small exception-handling component that serves as the micro-kernel, a fast IPC mechanism, and servers for all other components of the operating system. These servers exist in separate address spaces and rely upon the fast IPC mechanism for communication with the micro-kernel and other servers.

Introduction Designing a coherent and sensible programming language is hard. Even if technically successful, a new language is preposterously unlikely to achieve broad penetration. Because of this, it has become fashionable for programming language designers to explain from the comfortable perspective of hindsight why they thought to undertake such an absurd task, what they hoped they might accomplish, and perhaps what they (re)discovered along the way. In this paper we describe the original motivation and early evolution of the BitC programming language. BitC started as an attempt to address a specific problem, and morphed rapidly into a full-blown programming language effort. Along the way our ideas and thoughts about languages suffered some severe setbacks and some interesting (at least to us) turns. We will try to address some of those here.

Computer languages are symbolic systems that computers eventually understand. They help your programs serve your needs. Compilers are programs that help to make this "understanding" happen. While the first generation of high-level programming languages, such as Fortran, are still in wide use and evolving, many new languages with higher level abstration capability are emerging. Since the nature of scientific research is to explore the unknown world and test new theories, programming languages are usually the most important interface between scientists and computers. For computer scientists, improving code execution efficiency on a given architecture and developing high level abstraction capability of the language are challenging.

This tutorial provides a brief introduction to the Racket programming language by using one of its picture-drawing libraries. Even if you don’t intend to use Racket for your artistic endeavours, the picture library supports interesting and enlightening examples. After all, a picture is worth five hundred “hello world”s.

European Association for Programming Languages and SystemsEAPLS Topics What is EAPLSNewsPhD AwardBest Paper AwardBoardStatutesResearch ConferencesWorkshopsOther EventsPublications Special IssuesBooksSoftware ToolsJobs VacanciesJob LinksLogin LoginRecover accountJoin EAPLSEAPLS » EAPLS Topics » What is EAPLS 1What is EAPLS EAPLS is an association that wants to stimulate research in the area of programming languages and systems. The precise scope of the association has been established as is discussed below. EAPLS aims at making contributions in the following areas: •Collect and disseminate information related to research that falls in its scope. •Contribute to the organization of conferences in its scope. It also provides a mechanism for financial support (e.g. guaranteeing reservation fees) or legally carrying funds from one conference to its successor. •Seek cooperation with related organizations like EATCS, EACSL, ACM SIGPLAN, ERCIM, Formal Methods Europe, EASST, etc. •Raise funds (from EU, governments, industry) in order to sponsor scientific events. •Initiate scientific events in new areas. •Stimulate the exchange of ideas and cooperation between researchers. •Stimulate the application of research results in industry.