咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 17 篇 期刊文献

馆藏范围

  • 53 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 36 篇 工学
    • 31 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 6 篇 信息与通信工程
    • 3 篇 安全科学与工程
    • 2 篇 机械工程
    • 2 篇 电气工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 轻工技术与工程
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
  • 18 篇 理学
    • 11 篇 数学
    • 7 篇 系统科学
    • 2 篇 物理学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 4 篇 computer science
  • 3 篇 software enginee...
  • 3 篇 unified modeling...
  • 3 篇 formal specifica...
  • 2 篇 compilers
  • 2 篇 access control
  • 2 篇 object oriented ...
  • 2 篇 application soft...
  • 2 篇 java
  • 2 篇 computer languag...
  • 2 篇 constraint satis...
  • 2 篇 students
  • 2 篇 cryptographic pr...
  • 2 篇 artificial intel...
  • 2 篇 applicative (log...
  • 1 篇 many valued logi...
  • 1 篇 adaptive systems
  • 1 篇 reliability
  • 1 篇 exceptions
  • 1 篇 planets

机构

  • 3 篇 institute of sof...
  • 3 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 programming lang...
  • 2 篇 department of co...
  • 2 篇 university of ok...
  • 2 篇 department of co...
  • 1 篇 institute of art...
  • 1 篇 university of he...
  • 1 篇 complex cyber in...
  • 1 篇 university of he...
  • 1 篇 heinz nixdorf in...
  • 1 篇 department of so...
  • 1 篇 department of co...
  • 1 篇 center for digit...
  • 1 篇 dept. of signal ...
  • 1 篇 institute of sof...
  • 1 篇 programming lang...
  • 1 篇 department of co...
  • 1 篇 department of ma...

作者

  • 4 篇 choe km
  • 4 篇 raschke alexande...
  • 3 篇 scholz sven-bodo
  • 3 篇 zsók viktória
  • 3 篇 chris mcdonald
  • 3 篇 grelck clemens
  • 3 篇 tichy matthias
  • 3 篇 felderer michael
  • 2 篇 mertin gunda
  • 2 篇 page rex
  • 2 篇 horváth zoltán
  • 2 篇 hofstedt petra
  • 2 篇 pekaric irdin
  • 2 篇 liu ke
  • 2 篇 reif wolfgang
  • 2 篇 kamran kazemi
  • 2 篇 nina moebius
  • 2 篇 läufer konstanti...
  • 2 篇 wolfgang reif
  • 2 篇 ghica dan

语言

  • 50 篇 英文
  • 3 篇 其他
检索条件"机构=Department of Computer Science and Programming Languages"
53 条 记 录,以下是31-40 订阅
排序:
SAC: Off-the-shelf support for data-parallelism on multicores
SAC: Off-the-shelf support for data-parallelism on multicore...
收藏 引用
DAMP 2007: Workshop on Declarative Aspects of Multicore programming
作者: Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Ratzeburger Allee 160 23538 Lübeck Germany University of Hertfordshire Department of Computer Science College Lane Hatfield AL10 9AB United Kingdom University of Hertfordshire United Kingdom
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional array processing language SaC. Its compi... 详细信息
来源: 评论
Adaptive detection of design flaws
Adaptive detection of design flaws
收藏 引用
作者: Kreimer, Jochen Research Group Programming Languages and Compilers Department of Computer Science University of Paderborn Germany
Criteria for software quality measurement depend on the application area. In large software systems criteria like maintainability, comprehensibility and extensibility play an important role. My aim is to identify desi... 详细信息
来源: 评论
Rapidly prototyping implementation infrastructure of Domain Specific languages: A semantics-based approach
Rapidly prototyping implementation infrastructure of Domain ...
收藏 引用
20th Annual ACM Symposium on Applied Computing
作者: Wang, Qian Gupta, Gopal Applied Logic Programming-Languages and System Lab Department of Computer Science University of Texas Dallas
Domain Specific languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. However, designing of a domain... 详细信息
来源: 评论
The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league
The use of a Reasoning process to solve the almost SLAM Chal...
收藏 引用
8th Catalan Conference on Artificial Intelligence, CCIA 2005
作者: Monferrer, M. Teresa Escrig Broch, Juan Carlos Peris Jaume I University Engineering and Computer Science Department Campus Riu Sec CastellónE-12071 Spain Jaume I University Programming Languages and Computer Systems Department Campus Riu Sec CastellónE-12071 Spain
The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLA... 详细信息
来源: 评论
Specification, implementation, and verification of Domain Specific languages: A logic programming-based approach
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页
作者: Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States
Domain Specific languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logi... 详细信息
来源: 评论
Design patterns and framework for WIMP+ user interfaces design
Design patterns and framework for WIMP+ user interfaces desi...
收藏 引用
Conference on Human Factors in Computing Systems, CHI EA 2000
作者: Wu, Yongmei Programming Languages and Compiler Department of Computer Science Darmstadt University of Technology Germany
The purpose of my HCI research is to use the Design Patterns approach to establish a framework to support designing WIMP User Interfaces. In this paper I will introduce the WIMP+ User Interfaces and the idea to use th... 详细信息
来源: 评论
Teaching parallel algorithm with process topologies  00
Teaching parallel algorithm with process topologies
收藏 引用
Proceedings of the thirty-first SIGCSE technical symposium on computer science education
作者: Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Nedlands Western Australia 6907
Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message p...
来源: 评论
Formal specification of virtual process topologies  1
Formal specification of virtual process topologies
收藏 引用
1st IEEE computer Society International Workshop on Cluster Computing, IWCC 1999
作者: Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel... 详细信息
来源: 评论
GIDTS - A Graphical programming Environment for Prolog
GIDTS - A Graphical Programming Environment for Prolog
收藏 引用
1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 1999
作者: Kókai, Gabriella Nilson, Jörg Niss, Christian Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 ErlangenD-91058 Germany
This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's I... 详细信息
来源: 评论
Formal specification of virtual process topologies
Formal specification of virtual process topologies
收藏 引用
IEEE International Conference on Cluster Computing
作者: K. Kazemi C. McDonald Programming Languages and Systems Group Department of Computer Science University of Western Australia Nedlands WA Australia
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel... 详细信息
来源: 评论