Relating data—parallelism and (and—) parallelism in logic programs

Much work has been done in the áreas of and-parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types of parallelism offer advantages and disadvantages. Traditional (and-) parallel models offer generality, being able to exploit parallelism in a large class of programs (including that exploited by data parallelism techniques). Data parallelism techniques on the other hand offer increased performance for a restricted class of programs. The thesis of this paper is that these two forms of parallelism are not fundamentally different and that relating them opens the possibility of obtaining the advantages of both within the same system. Some relevant issues are discussed and solutions proposed. The discussion is illustrated through visualizations of actual parallel executions implementing the ideas proposed

REFORMING PUBLIC ADMINISTRATION IN THE CONTEXT OF THE EU SERVICES DIRECTIVE IMPLEMENTATION. A CASE STUDY ON THE BUSINESS REGISTRATION PROCESS IN ROMANIA

Romania is currently facing a lot of challanges in the public administration (PA) field. In this context probably one of the most pressing factors is the European Union integration process. Thus, starting with 2007, when Romania joined the European Union, it has become a necessity to build an European dimension of the PA reform process. In this paper, we are going to show how the European Union Services Directive implementation impacts on the PA reform process and also we are going to check if the outputs of the reform match the goals set by the Services Directive. Our whole approach is based on finding out the progresses and drawbacks associated with the business opening process, within the Romanian Trade Register Office.EU Services Directive, public administration reform, administrative procedures, administrative simplification, administrative modernisation, Point of Single Contact

Federal Aid to Schools: Its Limited Future

A brief history of the development of the limited-purpose Federal education programs is used as background to make a case for the diminishing likelihood of a major Federal initiative Beyond the presently enacted categorical grant programs. It is noted that present limited Federal programs, centering on education for the disadvantaged have been significant, are being improved and will likely remain the model for future Federal interventions

Higher Education and Research in India: An Overview

Higher Education is a very important sector for the growth and development of human resource which can take responsibility for social, economic and scientific development of the country.1 While, higher education gives India an edge in the world economy as evident from the availability of the skilled manpower, and research scholars working abroad, unemployment, illiteracy and relative poverty continue to be the major deterrents to realize her potential in human resources. The higher education system in India has grown in a remarkable way, particularly in the post-independence period, to become one of the largest system of its kind in the world. However, the system has many issues of concern at present, like financing and management including access, equity and relevance, reorientation of programmes by laying emphasis on health consciousness, values and ethics and quality of higher education together with the assessment of institutions and their accreditation. These issues are important for the country, as it is now engaged in the use of higher education as a powerful tool to build a knowledge-based information society of the 21st Century

Patterns of Legal Change: Shareholder and Creditor Rights in Transition Economies

This paper analyses changes in the legal protection of shareholder and creditor rights in 24 transition economies from 1990 to 1998. It documents differences in the initial conditions and a tendency towards convergence of formal legal rules as the result of extensive legal reforms. Convergence seems to be primarily the result of foreign technical assistance programs as well as of harmonisation requirements for countries wishing to join the European Union. The external supply of legal rules not withstanding, the pattern of legal reforms suggests that law reform has been primarily responsive, or lagging, rather than leading economic development. In comparison, the pre-socialist heritage of transition economies has little explanatory power for the observed patterns of legal change. However, countries with German legal heritage seem to favour creditor over shareholder protection and display substantially better creditor protection than other transition economies. The paper discusses the implications of the response pattern of legal change with externally supplied legal solutions for the prospects of effective law enforcement and compliance with the law in transition economies

Towards dynamic term size computation via program transformation

Knowing the size of the terms to which program variables are bound at run-time in logic programs is required in a class of applications related to program optimization such as, for example, recursion elimination and granularity analysis. Such size is difficult to even approximate at compile time and is thus generally computed at run-time by using (possibly predefined) predicates which traverse the terms involved. We propose a technique based on program transformation which has the potential of performing this computation much more efficiently. The technique is based on finding program procedures which are called before those in which knowledge regarding term sizes is needed and which traverse the terms whose size is to be determined, and transforming such procedures so that they compute term sizes "on the fly". We present a systematic way of determining whether a given program can be transformed in order to compute a given term size at a given program point without additional term traversal. Also, if several such transformations are possible our approach allows finding minimal transformations under certain criteria. We also discuss the advantages and present some applications of our technique