咨询与建议

限定检索结果

文献类型

  • 491 篇 会议
  • 13 篇 期刊文献
  • 7 册 图书

馆藏范围

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

日期分布

学科分类号

  • 320 篇 工学
    • 241 篇 计算机科学与技术...
    • 176 篇 软件工程
    • 95 篇 电气工程
    • 29 篇 控制科学与工程
    • 21 篇 机械工程
    • 18 篇 信息与通信工程
    • 14 篇 生物医学工程(可授...
    • 14 篇 生物工程
    • 10 篇 电子科学与技术(可...
    • 8 篇 材料科学与工程(可...
    • 6 篇 核科学与技术
    • 5 篇 石油与天然气工程
    • 4 篇 仪器科学与技术
    • 4 篇 交通运输工程
    • 2 篇 光学工程
    • 2 篇 土木工程
  • 61 篇 理学
    • 29 篇 数学
    • 14 篇 物理学
    • 14 篇 生物学
    • 6 篇 系统科学
    • 4 篇 统计学(可授理学、...
  • 27 篇 管理学
    • 16 篇 管理科学与工程(可...
    • 8 篇 图书情报与档案管...
    • 5 篇 工商管理
    • 3 篇 公共管理
  • 12 篇 农学
    • 12 篇 作物学
  • 5 篇 医学
  • 4 篇 法学
    • 2 篇 法学
    • 2 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 文学

主题

  • 48 篇 programming
  • 38 篇 logic gates
  • 31 篇 logic programmin...
  • 28 篇 programming prof...
  • 28 篇 software enginee...
  • 25 篇 linear programmi...
  • 23 篇 software
  • 15 篇 computational mo...
  • 14 篇 java
  • 14 篇 logic
  • 14 篇 probabilistic lo...
  • 12 篇 computer program...
  • 11 篇 optimization
  • 11 篇 detectors
  • 11 篇 dynamic programm...
  • 11 篇 testing
  • 10 篇 object oriented ...
  • 10 篇 fuzzy logic
  • 10 篇 parallel program...
  • 10 篇 data models

机构

  • 3 篇 nasa ames resear...
  • 3 篇 george mason uni...
  • 3 篇 carnegie mellon ...
  • 3 篇 stillman school ...
  • 3 篇 imperial coll lo...
  • 2 篇 mayo fdn rochest...
  • 2 篇 iran univ sci & ...
  • 2 篇 univ copenhagen ...
  • 2 篇 chalmers univers...
  • 2 篇 university of fe...
  • 2 篇 school of comput...
  • 2 篇 ludwig maximilia...
  • 2 篇 texas tech unive...
  • 2 篇 tu wien austria
  • 2 篇 graz university ...
  • 2 篇 katholieke univ ...
  • 2 篇 graduate school ...
  • 2 篇 zagazig universi...
  • 2 篇 iran university ...
  • 2 篇 agh university o...

作者

  • 5 篇 toni francesca
  • 4 篇 azzolini damiano
  • 4 篇 gupta gopal
  • 3 篇 hanbong lee
  • 3 篇 gavanelli marco
  • 3 篇 riguzzi fabrizio
  • 3 篇 eiter thomas
  • 3 篇 coblenz michael
  • 3 篇 satoh ken
  • 3 篇 džeroski sašo
  • 2 篇 lucarini stephen
  • 2 篇 thevapalan andre
  • 2 篇 liu yanhong a.
  • 2 篇 m.a. farahat
  • 2 篇 lavrac nada
  • 2 篇 v. kodaganallur
  • 2 篇 rose emma
  • 2 篇 osaka naotoshi
  • 2 篇 radoslaw klimek
  • 2 篇 gebser martin

语言

  • 507 篇 英文
  • 4 篇 其他
检索条件"任意字段=39th International Conference on Logic Programming"
511 条 记 录,以下是331-340 订阅
排序:
LC : A strongly-timed prototype-based programming language for computer music
LC : A strongly-timed prototype-based programming language f...
收藏 引用
39th international Computer Music conference, ICMC 2013
作者: Nishino, Hiroki Osaka, Naotoshi Nakatsu, Ryohei NUS Graduate School for Integrative Sciences and Engineering National University of Singapore Singapore Dept. of Information Systems and Multimedia Design Tokyo Denki University Japan IDM Institute National University of Singapore Singapore
this paper describes LC, a new computer music programming language currently under development. LC is a strongly-timed prototype-based programming language for live computer music with lightweight concurrency and lexi... 详细信息
来源: 评论
Recent developments in the Kronos programming language
Recent developments in the Kronos programming language
收藏 引用
39th international Computer Music conference, ICMC 2013
作者: Norilo, Vesa
Kronos is a reactive-functional programming environment for musical signal processing. It is designed for musicians and music technologists who seek custom signal processing solutions, as well as developers of audio c... 详细信息
来源: 评论
Early inline detection of systematic defects using ATPG & commonality analysis on product-like logic yield learning vehicle
收藏 引用
39th international Symposium for Testing and Failure Analysis, ISTFA 2013
作者: Beaudoin, Felix Song, Zhigang Lucarini, Stephen Mechler, thomas F. Wu, Stephen Cohen, Todd L. Lagus, Mark Wendel, Dieter Spruth, Bruno Stanley, Kevin Bogdan, David IBM Systems and Technology 2070 Route 52 Hopewell Junction NY United States IBM Systems and Technology Schoenaicher Str 220 Boeblingen Germany IBM Systems and Technology 1000 River St Essex Junction VT United States
来源: 评论
Hardware-Oblivious Parallelism for In-Memory Column-Stores
收藏 引用
PROCEEDINGS OF thE VLDB ENDOWMENT 2013年 第9期6卷 709-720页
作者: Heimel, Max Saecker, Michael Pirk, Holger Manegold, Stefan Markl, Volker Tech Univ Berlin Berlin Germany ParStream GmbH Cupertino CA USA CWI Amsterdam Amsterdam Netherlands
the multi-core architectures of today's computer systems make parallelism a necessity for performance critical applications. Writing such applications in a generic, hardware-oblivious manner is a challenging probl... 详细信息
来源: 评论
Unit-generators considered harmful (for microsound synthesis): A novel programming model for microsound synthesis in LCSynth
Unit-generators considered harmful (for microsound synthesis...
收藏 引用
39th international Computer Music conference, ICMC 2013
作者: Nishino, Hiroki Osaka, Naotoshi Nakatsu, Ryohei NUS Graduate School for Integrative Sciences and Engineering National University of Singapore Singapore Dept. of Information Systems and Multimedia Design Tokyo Denki University Japan IDM Institute National University of Singapore Singapore
In this paper, we describe a novel programming model for microsound synthesis techniques in LCSynth, a strongly-timed sound synthesis language, with concrete examples in granular synthesis and waveset synthesis. Inste... 详细信息
来源: 评论
Failure analysis for SRAM logic type failures
收藏 引用
39th international Symposium for Testing and Failure Analysis, ISTFA 2013
作者: Song, Zhigang Beaudoin, Felix Lucarini, Stephen Sylvestri, John Safran, Laura Villallobos, Manuel Oldrey, Richard IBM Systems and Technology 2070 Route 52 Hopewell Junction NY United States
Failure analysis for Static Random Access Memory (SRAM) is the major activity in any microelectronic failure analysis lab. Originating from SRAM array structure, SRAM failure can be simple as single bit, paired bit or... 详细信息
来源: 评论
Audiovisual integration with CalVR and libCollider
Audiovisual integration with CalVR and libCollider
收藏 引用
39th international Computer Music conference, ICMC 2013
作者: Hamdan, Eric Gossmann, Joachim Qualcomm Institute La Jolla CA United States
We present libCollider, a client library for SuperCollider's scsynth sound synthesis engine that provides C++ application developers with direct access to scsynth's sophisticated capabilities for real-time aud... 详细信息
来源: 评论
Efficient Querying of Inconsistent Databases with Binary Integer programming
收藏 引用
PROCEEDINGS OF thE VLDB ENDOWMENT 2013年 第6期6卷 397-408页
作者: Kolaitis, Phokion G. Pema, Enela Tan, Wang-Chiew UC Santa Cruz IBM Res Almaden Santa Cruz CA 95064 USA UC Santa Cruz Santa Cruz CA 95064 USA
An inconsistent database is a database that violates one or more integrity constraints. A typical approach for answering a query over an inconsistent database is to first clean the inconsistent database by transformin... 详细信息
来源: 评论
39th international Computer Music conference, ICMC 2013
39th International Computer Music Conference, ICMC 2013
收藏 引用
39th international Computer Music conference, ICMC 2013
the proceedings contain 81 papers. the special focus in this conference is on Music. the topics include: Cymatic synthesis of a series of bells;a java-based remote live coding system for controlling multiple raspberry...
来源: 评论
39th international conference on Very Large Data Bases, VLDB 2013
39th International Conference on Very Large Data Bases, VLDB...
收藏 引用
39th international conference on Very Large Data Bases, VLDB 2012
the proceedings contain 223 papers. the special focus in this conference is on Very Large Data Bases. the topics include: On differentially private frequent itemset mining;Query processing under GLAV mappings for rela...
来源: 评论