We examine the local convergence of the sequential semidefinite programming algorithmfor solving optimization problems with nonlinear semidefinite constraints. The papers [1, 2]present a proof of local quadratic convergence of this algorithm under a strong assumption ofa second order sufficient optimality condition for a local minimizer. The present work extendslightly the a...

We explore the problem of transforming a BSP program for execution on a multipro-gramming architecture, where it has to share resources with other BSP programs executing at the same time. 1 The BSP model The Bulk Synchronous Parallelism (BSP) 2] model is a general-purpose model that is both architecture-independent and eecient for most problems on today's architectures. A BSP program consists o...

Megaprogramming is a technology for programming with large modules called megamodules that capture the functionality of services provided by large organizations like banks, airline reservation systems, and city transportation systems. Megamodules are internally homogeneous, independently maintained software systems managed by a community with its own terminology, goals, knowledge, and programmi...

reservoir dams are among the main storage systems employed in agriculture for the several past decades. proper operation of these reservoirs is important for irrigation espe-cially in such arid and semi-arid areas like iran, and particularly during dry years. a computational framework for reservoir simulation and flood routing is hereby presented. a key aspect of the reservoir simulation is the...

This research investigates the implementation of the programming language Alice to teach computer programming logic to computer information systems students. Alice has been implemented in other university settings and has been reported to have many benefits including object-oriented concepts and an engaging and fun learning environment. In this study, students were surveyed on their opinions ab...

I have introduced the notion of didactic metaprogramming on account of the need to “go beyond” stiff and formed by the behaviouristic tradition ways of educational programming. In accordance to notional understanding of the prefix metawhich means: beyond, after, above, including, among, according to, indicates sequence or variability of something. It is accepted in informatics that metaprogramm...

Over the past years, multicore systems emerged into the domain of hard real-time systems. Thesesystems introduce common buses and shared memories which heavily influence the timing behav-ior. We show that existing WCET optimizations may lead to suboptimal results when appliedto multicore setups. Additionally we provide both a genetic and a precise Integer Linear Pro-gramming...

This paper describes a method to automate the diagnosis of students' programming errors in programming learning environments. In order to recognize correct students' programs as well as to identify errors in incorrect student programs, programs are represented using an improved de­ pendence graph representation. The student pro­ gram is compared with a specimen program (also called a model prog...

This paper deals with the production-dependent failure rates for a hybrid manufacturing/remanufacturing system subject to random failures and repairs. The failure rate of the manufacturing machine depends on its production rate, while the failure rate of the remanufacturing machine is constant. In the proposed model, the manufacturing machine is characterized by a higher production rate. The ma...

The so called “cogen approach” to program specialisation, writing acompiler generator instead of a specialiser, has been used with consider-able success in partial evaluation of both functional and imperative lan-guages. This paper demonstrates that this approach is also applicableto partial evaluation of logic programming languages, also called partialdeduction. Self-applic...