检索结果-内蒙古大学图书馆

24th International Conference on Distributed Computing Systems

作者： Abdelzaher, T Blum, B Cao, Q Chen, Y Evans, D George, J George, S Gu, L He, T Krishnamurthy, S Luo, L Son, S Stankovic, J Stoleru, R Wood, A Univ Virginia Dept Comp Sci Charlottesville VA 22904 USA

ISBN: (纸本)0769520863

Distributed sensor networks are quickly gaining recognition as viable embedded computing platforms. Current techniques for programming sensor networks are cumbersome, inflexible, and low-level. This paper introduces EnviroTrack, an object-based distributed middleware system that raises the level of programming abstraction by providing a convenient and powerful interface to the application developer geared towards tracking the physical environment. EnviroTrack is novel in its seamless integration of objects that live in physical time and space into the computational environment of the application. Performance results demonstrate the ability of the middleware to track realistic targets.

关键词： sensor networks programming paradigms tracking QoS distributed systems

来源：评论

学校读者我要写书评

暂无评论

Interval scripts: a programming paradigm for interactive environments and agents

引用

PERSONAL AND UBIQUITOUS COMPUTING 2003年第1期7卷 1-21页

作者： Pinhanez, Claudio S. Bobick, Aaron F. IBM Res Corp TJ Watson Hawthorne NY 10532 USA Georgia Inst Technol GVU Ctr Atlanta GA 30332 USA

In this paper we present interval scripts, a new paradigm for the programming of interactive environments and computer characters. In this paradigm, actions and states of the users and the system computational agents are associated with temporal intervals. programming is accomplished by establishing temporal relationships as constraints between the intervals. Unlike previous temporal constraint-based programming languages, we employ a strong temporal algebra based in Allen's interval algebra with the ability to express mutually exclusive intervals and to de. ne complex temporal structures. To avoid the typical computational complexity of strong temporal algebras we propose a method, PNF propagation, that projects the network implicit in the program into a simpler, 3-valued (past, now, future) network where constraint propagation can be conservatively approximated in linear time. The interval scripts paradigm is the basis of ISL, or Interval Scripts Language, that was used to build three large-scale, computer-vision-based interactive installations with complex interactive dramatic structures. The success in implementing these projects provides evidence that the interval scripts paradigm is a powerful and expressive programming method for interactive environments.

关键词： Interactive spaces programming paradigms programming with constraints System architecture Temporal reasoning Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

The role of language paradigms in teaching programming 03

The role of language paradigms in teaching programming

引用

Proceedings of the 34th SIGCSE technical symposium on Computer science education

作者： Peter Van Roy Joe Armstrong Matthew Flatt Boris Magnusson Univ. cath. Louvain Louvain-la-Neuve Belgium SICS Kista Sweden University of Utah Utah Lund University Lund Sweden

ISBN: (纸本)9781581136487

The purpose of this panel is to confront the wide variety of opinions on the role of language paradigms in teaching programming. We have selected four divergent opinions:Armstrong says that concurrent programming is considered difficult because it is taught in the wrong paradigm, namely imperative or object-oriented programming. Instead, concurrency should be taught using a paradigm that makes it *** says that everyone should be taught how to program, not just computer science majors. Further, programming should be taught as an extension of what students already know, which is algebra. More important than a particular paradigm, however, is teaching students a design *** says that object-oriented programming must be the first and principal paradigm, because it is best for teaching how to analyze problems and structure solutions. Other paradigms can be taught after students have a solid understanding of *** Roy says that programming should be taught in terms of concepts, not paradigms. Common paradigms (functional, OO, etc.) then appear naturally, depending on the concepts used.

关键词： concepts concurrency programming paradigms

来源：评论

学校读者我要写书评

暂无评论

Teaching programming broadly and deeply: The Kernel language approach

引用

Conference on Informatics Curricula, Teaching Methods and Best Practice

作者： Van Roy, P Haridi, S Univ Catholique Louvain Dept Comp Sci & Engn INGI B-1348 Louvain Belgium

ISBN: (纸本)140207266X

We present the kernel language approach;a new way to teach programming that situates most of the widely known programming paradigms (including imperative, object-oriented, concurrent, logic, and functional) into a uniform setting that shows their deep relationships and how to use them together. Widely different practical languages (exemplified by Java, Haskell, Prolog, and Erlang) with their rich panoplies of abstractions and syntax are explained by straightforward translations into closely related kernel languages, simple languages that consist of small numbers of programmer-significant concepts. Kernel languages are easy to understand and have a simple formal semantics that can be used by practicing programmers to reason about correctness and complexity.

关键词： computer programming education curriculum science engineering programming concepts programming paradigms kernel language dataflow concurrency functional programming object-oriented programming logic programming imperative programming programming techniques

来源：评论

学校读者我要写书评

暂无评论

A communication architecture and programming abstractions for real-time embedded sensor networks 23

A communication architecture and programming abstractions fo...

引用

23rd International Conference on Distributed Computing Systems Workshops

作者： Abdelzaher, T Stankovic, J Son, S Blum, B He, T Wood, A Lu, CY Univ Virginia Dept Comp Sci Charlottesville VA 22904 USA

ISBN: (纸本)0769519210

Data distribution in embedded real-time sensor networks requires new protocols and programming environments that achieve time-sensitive message delivery and provide useful abstractions to the application programmer Attainment of these goals requires changes to multiple layers of the communication protocol stack. In this paper we review a protocol suite developed by the authors for data communication in embedded sensor networks. It takes into account time constraints and exports attribute-based connections that are tightly integrated with properties of the monitored environment. A programming language is described that allows external physical objects to be represented as first class abstractions in the computing system. The language facilitates writing monitoring applications. The system was implemented on a prototypical sensor network based on MICA motes.

关键词： sensor networks programming paradigms tracking QoS distributed systems

来源：评论

学校读者我要写书评

暂无评论

Unified approach to environments in a process functional language

引用

COMPUTING AND INFORMATICS 2003年第5期22卷 439-456页

作者： Kollár, J Tech Univ Kosice Fac Elect Engn & Informat Dept Comp & Informat Kosice 04120 Slovakia

A process functional paradigm is based on applications of processes and functions instead of assignments. The imperative computation and the functional evaluation are clearly separated in a well-balanced manner, providing the strong feedback about the implementation to a user. In this paper we present the unified approach to explicit and implicit environments in PFL - an experimental process functional language, as a uniform basis for approved implementation extensible by additional specification. PFL environmental concept is the generalized implementation substance, which can be found in many programming languages exploiting the large variety of programming paradigms. Environment variables do not occur in expressions, being still visible to a programmer either in PFL textual form or in an equivalent form of control driven data flow graphs. The approach is promising for reasoning about the functional correctness and predicting the behavior of systems.

关键词： programming paradigms implementation principles explicit and implicit environments environmental application control driven dataflow referential transparency side effects

来源：评论

学校读者我要写书评

暂无评论

Iterative grid-based computing using mobile agents

Iterative grid-based computing using mobile agents

引用

31st International Conference on Parallel Processing (ICPP 2002)

作者： Kuang, H Bic, LF Dillencourt, MB Univ Calif Irvine Irvine CA 92697 USA

ISBN: (纸本)0769516777

We describe an environment for the distributed solution of iterative grid-based applications. The environment is built using the MESSENGERS mobile agent system. The main advantage of paradigm-oriented distributed computing is that the user only needs to specify application-specific sequential code, while the underlying infrastructure takes care of the parallelization and distribution. The two paradigms discussed in this papers are the finite difference method, and individual-based simulation. These paradigms present some interesting challenges, both in terms of performance (because they require frequent synchronized communication between nodes) and in terms of repeatability (because the mapping of the user space onto the network may change due to load balancing or due to changes in the underlying logical network). We describe their use, implementation, and performance within a mobile agent-based environment.

关键词： mobile agents programming paradigms grid-based computing finite difference methods individual-based simulations

来源：评论

学校读者我要写书评

暂无评论

Theoretical Foundations of an Environment-Based Multiparadigm Language

引用

Informatica 2000年第1期11卷 3-14页

作者： Blažević, Mario Budimac, Zoran Ivanović, Mirjana Institute of Mathematics Faculty of Science University of Novi Sad 21000 Novi Sad Trg D. Obradovića 4

The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λE-calculus. GENS is a multiparadigm language: it has been used for definition ... 详细信息

The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the λ-calculus called λ_E-calculus. GENS is a multiparadigm language: it has been used for definition of semantics and for implementation of functional, logical, procedural, and object-oriented languages. It also allows combining different programming paradigm styles in a single programming language. The purpose of this paper is to define and to introduce the λ_E-calculus - theoretical foundation of GENS. It will also be shown how the most important langauge constructs of different programming paradigms can be defined in GENS.

关键词： Lambda calculus Multi-paradigm programming languages programming paradigms Rewriting systems λ-calculus

来源：评论

学校读者我要写书评

暂无评论

ATTRIBUTE GRAMMAR paradigms - A HIGH-LEVEL METHODOLOGY IN LANGUAGE IMPLEMENTATION

引用

ACM COMPUTING SURVEYS 1995年第2期27卷 196-255页

作者： PAAKKI, J Univ. of Jyva¨skyla¨ Jyva¨skyla¨ Finland

Attribute grammars are a formalism for specifying programming languages. They have been applied to a great number of systems automatically producing language implementations from their specifications. The systems and their specification languages can be evaluated and classified according to their level of application support, linguistic characteristics, and degree of automation. A survey of attribute grammar-based specification languages is given. The modern advanced specification languages extend the core attribute grammar model with concepts and primitives from established programming paradigms. The main ideas behind the developed attribute grammar paradigms are discussed, and representative specification languages are presented with a common example grammar. The presentation is founded on mapping elements of attribute grammars to their counterparts in programming languages. This methodology of integrating two problem-solving disciplines together is explored with a classification of the paradigms into structured, modular, object-oriented, logic, and functional attribute grammars. The taxonomy is complemented by introducing approaches based on an implicit parallel or incremental attribute evaluation paradigm.

关键词： DESIGN LANGUGAES THEORY ATTRIBUTE GRAMMARS BLOCKS CLASSES COMPILER WRITING SYSTEMS FUNCTIONAL DEPENDENCIES INCOMPLETE DATA INCREMENTALITY INHERITANCE LANGUAGE PROCESSING LANGUAGE PROCESSOR GENERATORS LAZY EVALUATION LOGICAL VARIABLES OBJECTS PARALLELISM PROCESSES programming paradigms SEMANTIC FUNCTIONS SYMBOL TABLES UNIFICATION

来源：评论

学校读者我要写书评

暂无评论

OPERATIONAL VERSUS DEFINITIONAL - A PERSPECTIVE ON programming paradigms

引用

COMPUTER 1992年第9期25卷 28-43页

作者： AMBLER, AL BURNETT, MM ZIMMERMAN, BA MICHIGAN TECHNOL UNIV DEPT COMP SCI HOUGHTON MI 49931 USA GEN DYNAM CORP FT WORTH TX 76101 USA

Various paradigms that support high-level programming are discussed independently of supporting languages. The paradigms are grouped according to their approach to problem solving. The operational approach describes step-by-step how to construct a solution. The demonstrational approach is a variation on it that illustrates the solution operationally for specific examples and lets the system generalize these example solutions for other cases. The definitional approach is different. It states properties about the solution to constrain it without describing how to compute it. These three approaches are viewed on a continuum from operational to definitional. A pure language solution to the problem of sorting a list into some linear order is presented for each paradigm.

关键词： constraint programming demonstrational approach high-level programming list processing object-oriented programming object-oriented programming operational approach problem solving programming programming paradigms sorting sorting

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：