咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 5 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 6 篇 computer science
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 5 篇 object oriented ...
  • 5 篇 programming prof...
  • 5 篇 programming
  • 5 篇 application soft...
  • 5 篇 databases
  • 5 篇 hardware

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 pontificia unive...
  • 1 篇 school of comput...
  • 1 篇 fakultät für mat...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 170 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
173 条 记 录,以下是81-90 订阅
排序:
Programmability of the HPCS languages: A case study with a quantum chemistry kernel
Programmability of the HPCS languages: A case study with a q...
收藏 引用
10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE international Parallel and Distributed Processing symposium
作者: Shet, Aniruddha G. Elwasif, Wael R. Harrison, Robert J. Bernholdt, David E. Oak Ridge Natl Lab Oak Ridge TN 37831 USA
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challenged to express the necessary levels of ... 详细信息
来源: 评论
Switched-on yampa - Declarative programming of modular synthesizers
Switched-on yampa - Declarative programming of modular synth...
收藏 引用
10th international symposium on Practical Aspects of Declarative languages
作者: Giorgidze, George Nilsson, Henrik Univ Nottingham Sch Comp Sci Nottingham NG7 2RD England
In this paper, we present an implementation of a modular synthesizer in Haskell using Yampa. A synthesizer, be it a hardware instrument or a pure software implementation, as here, is said to be modular if it provides ... 详细信息
来源: 评论
Flexible, rule-based constraint model linearisation
Flexible, rule-based constraint model linearisation
收藏 引用
10th international symposium on Practical Aspects of Declarative languages
作者: Brand, Sebastian Duck, Gregory J. Puchinger, Jakob Stuckey, Peter J. Univ Melbourne Victoria Res Lab NICTA Parkville Vic 3052 Australia
Nonlinear constraint satisfaction or optimisation models need to be reduced to equivalent linear forms before they can be solved by (Integer) Linear programming solvers. A choice of linearisation methods exist. there ... 详细信息
来源: 评论
database programming languages: 10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
收藏 引用
2006年
作者: Gavin M Bierman Christoph E Koch
来源: 评论
High-level multi-threading programming in logtalk
High-level multi-threading programming in logtalk
收藏 引用
10th international symposium on Practical Aspects of Declarative languages
作者: Moura, Paulo Crocker, Paul Nunes, Paulo Univ Beira Interior Dept Comp Sci P-6201001 Covilh Portugal Polytechn Inst Guarda P-6301559 Guarda Portugal
Logtalk, an object oriented logic programming language, provides experimental support for multi-threading programming with selected back-end Prolog compilers. By making use of core, low-level Prolog predicates that in... 详细信息
来源: 评论
Exploiting conjunctive queries in description logic programs
Exploiting conjunctive queries in description logic programs
收藏 引用
10th international symposium on Artificial Intelligence and Mathematics
作者: Eiter, thomas Ianni, Giovambattista Krennwallner, thomas Schindlauer, Roman Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende CS Italy
Towards combining rules and ontologies for the Semantic Web, nonmonotonic Description Logic Programs (dl-programs) have been proposed as a powerful formalism to couple nonmonotonic logic programming and Description Lo... 详细信息
来源: 评论
Towards execution time estimation in abstract machine-based languages  08
Towards execution time estimation in abstract machine-based ...
收藏 引用
PPDP 2008: 10th international ACM SIGPLAN symposium on Principles and Practice of Declarative programming
作者: Mera, E. Lopez, P. Carro, M. Hermenegildo, M. Complutense University of Madrid IMDEA Software Technical U. of Madrid U. of New Mexico
Abstract machines provide a certain separation between platform-dependent and platform-independent concerns in compilation. Many of the differences between architectures are encapsulated in the specific abstract machi... 详细信息
来源: 评论
Parser combinators for ambiguous left-recursive grammars
Parser combinators for ambiguous left-recursive grammars
收藏 引用
10th international symposium on Practical Aspects of Declarative languages
作者: Frost, Richard A. Hafiz, Rahmatullah Callaghan, Paul Univ Windsor Sch Comp Sci Windsor ON N9B 3P4 Canada Univ Durham Dept Comp Sci Durham DH1 3HP England
Parser combinators are higher-order functions used to build parsers as executable specifications of grammars. Some existing implementations are only able to handle limited ambiguity, some have exponential time and/or ... 详细信息
来源: 评论
Specialising simulator generators for high-performance Monte-Carlo methods
Specialising simulator generators for high-performance Monte...
收藏 引用
10th international symposium on Practical Aspects of Declarative languages
作者: Keller, Gabriele Chaffey-Millar, Hugh Chakravarty, Manuel M. T. Stewart, Don Barner-Kowollik, Christopher Univ New South Wales Sch Engn & Comp Sci Promming Languages & Syst Sydney NSW 2052 Australia Univ New South Wales Ctr Adv Macromolecular Design Sydney NSW 2052 Australia
We address the tension between software generality and performance in the domain of simulations based on Monte-Carlo methods. We simultaneously achieve generality and high performance by a novel development methodolog... 详细信息
来源: 评论
IMPLEMENTATION OF ALGEBRA FOR QUERYING WEB DATA SOURCES
IMPLEMENTATION OF ALGEBRA FOR QUERYING WEB DATA SOURCES
收藏 引用
10th international Conference on Enterprise Information Systems
作者: Savnik, Iztok Univ Primorska Fac Math Sci & Informat Syst Koper Slovenia
the paper presents the implementation of query execution system Qios. It serves as a lightware system for the manipulation of XML data. Qios employs the relational technology for query processing. the main aim in the ... 详细信息
来源: 评论