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

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on Object-Oriented programming Systems and Applications Companion, OOPSLA'07

作者： Bjerkestrand, Anders Aas Zeid Dr., Amir Skaar, Lars Arne Zimmermann, Olaf Bekk Consulting Norway The British University in Egypt Egypt Tieto Enator Banking and Insurance Norway IBM Zurich Research Lab Switzerland

ISBN: (纸本)9781595938657

In this 5th international Workshop on SOA and Web Services, we will explore best-practices in the adoption, design, implementation, management and monitoring of SOA- and Web services-related methods, tools and technologies. This workshop is a continuation of a highly successful series of workshops at OOPSLA 2006, OOPSLA 2005, OOPSLA 2004, and OOPSLA 2003.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

PowerPoint and complexity

PowerPoint and complexity

引用

22nd international conference on Object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

作者： Richmond, Michael Almaden Research Center International Business Machines San José CA United States IBM Almaden Research Center

ISBN: (纸本)9781595938657

Everyone talks about software bloat, feature creep and the ever-increasing complexity of software. Each new version of a software package adds in new features. Very rarely, features are removed. But what really happens as software evolves? This animated film illustrates the evolution of PowerPoint over seven versions from 1987-2001. With each version the user has faced increasing application complexity. Knowing how software evolves is of increasing importance as we move to building ultra-large scale software and developing software in the context of software ecologies. This film uses abstract graphical representations of the application features and relationships between features. Time-lapse animation of these abstract representations are used to convey an understanding of how this application has evolved. This animation is based on data from a project that is mapping the user interface and application functionality available in every release of Microsoft PowerPoint for the Macintosh. To date this study spans 7 releases of this application.

关键词： Animation

来源：评论

学校读者我要写书评

暂无评论

Modular and generic programming with InterpreterLib

Modular and generic programming with InterpreterLib

引用

22nd IEEE/ACM international conference on Automated Software Engineering, ASE'07

作者： Weaver, Philip Kimmell, Garrin Frisby, Nicolas Alexander, Perry Information and Telecommunication Technology Center Electrical Engineering and Computer Science Department University of Kansas 2335 Irving Hill Road Lawrence KS 66044 United States

ISBN: (纸本)9781595938824

Modular monadic semantics (MMS) is a well-known technique for structuring modular denotational semantic definitions. Families of language constructs are independently defined using syntactic functors and semantic algebras that can be combined in a mix-and-match fashion to create complete language definitions. We introduce InterpreterLib, a Haskell library that implements and extends MMS techniques for writing composable analyses. In addition to modular analyses composition, InterpreterLib provides algebra combinators, explicit algebra semantics, preprocessors for boiler plate generation and generic programming techniques adapted to language analysis. The key benefits of these features are reliability, increased code reuse via modularity and the ability to rapidly retarget component analyses. Copyright 2007 ACM.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of formal monitoring techniques

The design and implementation of formal monitoring technique...

引用

22nd international conference on Object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

作者： Bodden, Eric Sable Research Group School of Computer Science McGill University

ISBN: (纸本)9781595938657

In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime monitoring techniques can be useful in order to validate or guarantee the safety and security of running programs. Yet, those techniques have not yet been able to make the transition to everyday use in regular software development processes. This is due to two reasons. Firstly, many of the existing runtime monitoring tools cause a significant runtime overhead, lengthening test runs unduly. This is particularly true for tools that allow reasoning about single objects, opposed to classes. Secondly, the kind of specifications that can be verified by such tools often follow a quite cumbersome notation. This leads to the fact that only verification experts, not programmers, can at all understand what a given specification means and in particular, whether it is correct. We propose a methodology to overcome both problems by providing a design and efficient implementation of expressive formal monitoring techniques with programmerfriendly notations.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Combining structural subtyping and external dispatch

Combining structural subtyping and external dispatch

引用

22nd international conference on Object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

作者： Malayeri, Donna Carnegie Mellon University

ISBN: (纸本)9781595938657

By-name subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. By-name subtyping allows programmers to explicitly express design intent, and, when types are associated with run time tags, enables run-time "type" tests and external/multimethod dispatch. On the other hand, structural subtyping is flexible and compositional, allowing unanticipated reuse. To date, nearly all object-oriented languages fully support only one subtyping paradigm or the other. I propose a language that combines the key aspects of by- name and structural subtyping in a unified framework. The goal is to provide the flexibility of structural subtyping while still allowing static typechecking of external methods. The work offers a clean foundation for the design of future languages that enjoy the benefits of both by-name and structural subtyping. I also propose a language extension to Java that combines by-name and structural subtyping, and includes parametric polymorphism. The practical utility of this language will be illustrated through case studies that show that code written in the new language is more flexible and easier to modify than the original code.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A generalized gelfond-lifschitz transformation for logic programs with abstract constraints

A generalized gelfond-lifschitz transformation for logic pro...

引用

AAAI-07/IAAI-07 Proceedings: 22nd AAAI conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence conference

作者： Shen, Yi-Dong You, Jia-Huai State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China Department of Computing Science University of Alberta Edmonton Alta. T6G 2E8 Canada

ISBN: (纸本)1577353234

We present a generalized Gel fond-Lifschitz transformation in order to define stable models for a logic program with arbitrary abstract constraints on sets (c-atoms). The generalization is based on a formal semantics and a novel abstract representation of c-atoms, as opposed to the commonly used power set form representation. In many cases, the abstract representation of a c-atom results in a substantial reduction of size from its power set form representation. We show that any c-atom A = (Ad, Ac) in the body of a clause can be characterized using its satisfiable sets, so that given an interpretation I the c-atom can be handled simply by introducing a special atom θA together with a new clause θA ← A1,.... An for each satisfiable set {A 1..... An] of A. We also prove that the latest fixpoint approach presented by Son et al. and our approach using the generalized Gelfond-Lifschitz transformation are semantically equivalent in the sense that they define the same set of stable models. Copyright © 2007, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

StreamFlex: High-throughput stream programming in Java 07

StreamFlex: High-throughput stream programming in Java

引用

22nd international conference on Object-Oriented programming, Systems, Languages and Applications

作者： Spring, Jesper H. Privat, Jean Guerraoui, Rachid Vitek, Jan Ecole Polytech Fed Lausanne Lausanne Switzerland Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA IBM Corp San Jose CA 95114 USA

ISBN: (纸本)9781595937865

The stream programming paradigm aims to expose coarse-grained parallelism in applications that must process continuous sequences of events. The appeal of stream programming comes from its conceptual simplicity. A program is a collection of independent filters which communicate by the means of uni-directional data channels. This model lends itself naturally to concurrent and efficient implementations on modern multiprocessors. As the output behavior of filters is determined by the state of their input channels, stream programs have fewer opportunities for the errors (such as data races and deadlocks) that plague shared memory concurrent programming. This paper introduces STREAMFLEX, an extension to Java which marries streams with objects and thus enables to combine, in the same Java virtual machine, stream processing code with traditional object-oriented components. STREAMFLEX targets high-throughput low-latency applications with stringent quality-of-service requirements. To achieve these goals, it must, at the same time, extend and restrict Java. To allow for program optimization and provide latency guarantees, the STREAMFLEX compiler restricts Java by imposing a stricter typing discipline on filters. On the other hand, STREAMFLEX extends the Java virtual machine with real-time capabilities, transactional memory and type-safe region-based allocation. The result is a rich and expressive language that can be implemented efficiently.

关键词： languages experimentation. real-time systems Java virtual machine memory management ownership types stream processing

来源：评论

学校读者我要写书评

暂无评论

The elephant in the room: Who will take care of the code?

The elephant in the room: Who will take care of the code?

引用

22nd international conference on Object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

作者： Dunn-Krahn, Rebeca Coady, Yvonne University of Victoria Research Group University of Victoria

ISBN: (纸本)9781595938657

Something extraordinarily strange is going on in the computer industry. Despite the widespread availability of jobs, the challenging and exciting nature of the work, and the impressive earning potential of workers, the industry is experiencing a massive decline in the number of new recruits. Universities and companies alike are starting to wonder: where did all the warm bodies go? Numbers from the US are showing declines upwards of 20%, and across North America it is not uncommon to find decreases in students applying to computer science postsecondary programmes that double that. It appears that a dearth of highly-trained professionals is looming, which is bound to negatively impact future advances in computer technology and ultimately threaten major economies. Given the current crisis, many groups are addressing the issue, with varying approaches and perspectives. The film "The Elephant in the Room: Who Will Take Care of the Code?", exposes the symptoms of this problem and examines some of the current solutions. In particular, this film profiles efforts at the University of Victoria in the CScIDE (Computer Science Initiatives for Diversity and Equity) research group and their experiements introducing programming concepts to children in grades two through seven.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Precise software documentation: Making object-orientation work better

Precise software documentation: Making object-orientation wo...

引用

22nd international conference on Object-Oriented programming Systems, Languages, and Applications, OOPSLA 2007 - Companion

作者： Parnas, David Lorge Software Quality Research Laboratory University of Limerick Limerick Ireland Department of Software Engineering Software Quality Research Laboratory University of Limerick McMaster University Carleton University Royal Society of Canada Royal Irish Academy

ISBN: (纸本)9781595938657

Computer Scientists have been talking about the use of of object-orientation (under a variety of rubrics) to achieve "separation of concerns" for more than 40 years. In all that time, it has been taken for granted that it was the structure of the program text itself that mattered. Whenever it was felt that additional information was needed it was assumed that this would be closely associated with the program text either as simple comments, as in-line assertions, or "woven" in with the program text using elaborate tools. This talk takes a different position. It argues that for true separation of concerns we need an integrated set of separate documents, some of which are to be read by people who will never read the code, some that describe the structure of the code, and some that describe the behaviour of individual components. It describes a collection of mathematical ideas and notations that make it possible to produce documentation that is both precise and readable. We then describe the use of these documents in testing and inspection. Finally, it discusses the way that other programming paradigms, particularly functional programming, can be used to make these documents more useful.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Fabrication, investigation and modification of magnetic states in nano-scale patterned cobalt films by using scanning ion microscopy with polarization analysis (SIMPA)

引用

NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION B-BEAM INTERACTIONS WITH MATERIALS And ATOMS 2007年第1期256卷 446-450页

作者： Li, Jian Rau, Carl Rice Univ Dept Phys & Astron Rice Quantum Inst Houston TX 77251 USA Rice Univ Smalley Inst Nanosci & Technol Houston TX 77251 USA

Focused ion beam (FIB) lithography is used to fabricate patterned Co nano-elements from ultra-thin (30 nm thick), electron-beam-evaporated Co films. The spin- and spatially-resolved surface magnetic structure (SMS) of the nano-scale Co elements is imaged in situ by using scanning ion microscopy with polarization analysis (SIMPA). SIMPA spin maps directly reveal the detailed spin structure of magnetic vortex and antivortex states, which can be utilized for ultra-high density, non-volatile magnetic memory devices. It is found that the SMS of the nano-magnetic structures depends strongly on the size of the patterned Co elements. In addition, FIB etching is utilized in situ to create well-defined defects (antidots) in the patterned Co elements, which strongly modify the previously existing SMSs leading to novel nano-magnetic states. The results show that ion-surface interaction, as provided by SIMPA spin mapping and in situ FIB processing, can be profitably exploited for studying SMSs of patterned magnetic systems to be used for nano-scale magnetic memory and magnetic logic devices. (c) 2006 Elsevier B.V. All rights reserved.

关键词： domain walls and domain structure magnetic properties of nanostructures surface magnetism nanolithography Nanoimprint lithography Synchronous meteorological satellites Magnetic flux SMS gene Magnetic logic devices Magnetic properties MODIFICATION Spin structure cobalt surface interactions Ion microscopy carbon monoxide surface magnetism

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：