Code and its image: the functions of text and visualisation in a code-based design studio

Traditionally, design learning in the architecture studio has taken place through a combination of individual work and joint projects. The introduction of code-based design practices in the design studio has altered this balance, introducing new models of joint authorship and new ways for individuals to contribute to co-authored projects. This paper presents a case study describing four design studios in a higher education setting that used code as a tool for generating architectural geometry. The format of the studios encouraged the students to reflect critically on their role as authors and to creatively address the multiple opportunities for shared authorship available with code-based production. The research question addressed in this study involved the role of code-based practices in altering the model of architectural education in the design studio, in particular the role of visual representations of a code-based design process in the production of shared knowledge

Choice of the technological platform for working out of difficult information systems

Отмечена важность рационального выбора интегрированной среды разработки сложныхинформационных систем. Рассмотрена типовая структура подобной системы. Проведено сравнение кодов программ работы с базой данных, разработанных в среде Microsoft Visual Studio 2012 С# и на технологической платформе 1С: Предприятие 8.3. Выделены существенные особенности, которые присутствуют в сложных информационных системах. Дана рекомендация по выбору интегрированной среды разработки для сложных информационных проектов.Importance of a rational choice of the integrated environment of working out for difficult information systems is noted. The typical structure of difficult information system is considered. Comparison of a code of examples of work with a database, developed on Microsoft Visual Studio 2012 С# and on a technological platform 1С: Enterprise 8.3 is spent. Essential factors which are present at difficult information systems are allocated. The recommendation of for choice integrated environment of working out for difficult information projects is given

Processing Posting Lists Using OpenCL

One of the main requirements of internet search engines is the ability to retrieve relevant results with faster response times. Yioop is an open source search engine designed and developed in PHP by Dr. Chris Pollett. The goal of this project is to explore the possibilities of enhancing the performance of Yioop by substituting resource-intensive existing PHP functions with C based native PHP extensions and the parallel data processing technology OpenCL. OpenCL leverages the Graphical Processing Unit (GPU) of a computer system for performance improvements. Some of the critical functions in search engines are resource-intensive in terms of processing power, memory, and I/O usage. The processing times vary based on the complexity and magnitude of data involved. This project involves different phases such as identifying critical resource intensive functions, initially replacing such methods with PHP Extensions, and eventually experimenting with OpenCL code. We also ran performance tests to measure the reduction in processing times. From our results, we concluded that PHP Extensions and OpenCL processing resulted in performance improvements

On Verifying Resource Contracts using Code Contracts

In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both memory consumption and lifetime properties in a modular fashion. We develop a proof-of-concept implementation by extending Code Contracts' specification language. To verify the correctness of these annotations we rely on the Code Contracts static verifier and a points-to analysis. We also briefly discuss possible extensions of our approach to deal with non-linear expressions.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Plugin for Simplification of Programming Using Visual Studio 2010

Tato práce se zabývá nástrojem na urychlení vývoje v novém programovacím jazyku pro nezkušené programátory. Aplikace napovídá ukázky zdrojového kódu v prostředí Visual Studia 2010 dle aktuálně používaného programovacího jazyku. Aplikace je typu klient-server, server zajišťuje vyhledávání ukázek zdrojových kódů.This thesis is focused on tool for simplification development in new programing language for non-experienced programmers. Application suggests sample source codes for current programming language in Visual Studio 2010. The application is a client-server, the server implements searching of the source code examples.