Cerca risorse accademiche

Materie / parole chiave: PRATT, TERRENCE W; PRENTICE-HALL; 005.13 P917p

Materie / parole chiave: PETERSON, W. WESLEY; PRENTICE-HALL; 005.13 P485I

Materie / parole chiave: NICHOLLS, JOHN E; ADDISON-WESLEY; 005.13 N662s

Cellular automata provide an abstract model of parallel com- putation that can be effectively used for modeling and simulation of com- plex phenomena and systems. The design and implementation of parallel programming lan...

SIC is a programming too1 whose purpose is to assist in the developmentpf compilers by"means of a special purpose language, alao cal1ed SIC based on Pascal. SIC possesses facilities to specify the syntax. of programming ...

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice in...

An important challenge when studying the semantics2 of programming languages is understanding the way syntactical constructions in high-level programming languages produce algorithms that are bound to the underlying virt...

This paper discusses some advantages of supporting polymorphic recursión in programming languages and describes a decidable type inference algorithm for typing polymorphic and possibly mutually recursive definitions, us...

Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento ...

La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framew...

Historically Functional Programming FP for short has been associated with a small scope of applications mainly academic The computer science community did not pay enough attention to its potential perhaps due t...

Este artículo presenta un nuevo mecanismo de especificación gramatical para Lenguajes de Programación Visual denominado Gramática de Sistemas de Íconos Generalizados This paper presents a new mechanism of grammar sp...

O desenvolvimento de software complexo de grande porte é muitas vezes dificultado pela carência de ferramentas adequadas para a clara expressão das idéias dos programadores em todos os aspectos técnicos do projeto. ...

Subjectivity, and in particular dynamic subjectivity, is a desirable feature in programming languages, so as to allow the implementation of different views in order to enhance the reusability and integration of the key a...

Time and change are notions that seems unavoidable in some areas of work and investigation, languages that can deal with these notions are necessary. At the same time, methods for a proper time handling are quite complex...

Um dispositivo adaptativo é constituído por um dispositivo subjacente (geralmente não adaptativo), por exemplo, um autômato, uma gramática, etc., no qual se adiciona um mecanismo adaptativo que é responsável pela ...

In these days most robotic systems tend to be complex to maintain and reuse because existing frameworks are based mainly on code-driven approaches. This means the software development process is reduced to the implementa...

Image and video processing of natural phenomena is one of the preferred non-invasive monitoring techniques for environmental studies that is, however, limited through the high cost of the required equipment and the limit...

Sharing of behavior is one of the most important features in the Object-Oriented paradigm. The two classical organisations of sharing are classes and prototypes, raising two different models and two families of object or...

Protecting sensitive information has become an important facet of software development. One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software...

Data parallelislm is one of the more successful efforts to introduce explicit parallelism to high level programming languages. This approach is taken because many useful computations can be framed in term of a set of ind...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...

Este trabajo propone optimizar la comunicación entre la Interfaz de Aplicaciones de Cliente y el motor Workflow del Modelo de Referencia de Workflow, definiendo una especificación con Servicios Web. El Modelo de Refer...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities an internal state, a set of input variable th...