咨询与建议

限定检索结果

文献类型

  • 78 篇 会议
  • 17 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 77 篇 工学
    • 71 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 电气工程
    • 4 篇 生物工程
    • 3 篇 农业工程
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 动力工程及工程热...
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 32 篇 理学
    • 22 篇 数学
    • 8 篇 系统科学
    • 4 篇 物理学
    • 4 篇 生物学
    • 1 篇 科学技术史(分学科...
    • 1 篇 统计学(可授理学、...
  • 23 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 10 篇 工商管理
    • 9 篇 图书情报与档案管...
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 文学
    • 2 篇 中国语言文学
    • 2 篇 外国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 5 篇 semantics
  • 4 篇 memory managemen...
  • 4 篇 software enginee...
  • 4 篇 optimization
  • 4 篇 instruction sets
  • 4 篇 scheduling
  • 3 篇 parallel program...
  • 3 篇 locks (fasteners...
  • 2 篇 dynamic optimiza...
  • 2 篇 underspecificati...
  • 2 篇 context free gra...
  • 2 篇 tree description...
  • 2 篇 languages
  • 2 篇 programming
  • 2 篇 application soft...
  • 2 篇 modeling languag...
  • 2 篇 load modeling
  • 2 篇 tracking
  • 2 篇 acceleration
  • 2 篇 specifications

机构

  • 8 篇 programming syst...
  • 4 篇 programming dist...
  • 3 篇 programming syst...
  • 3 篇 institute for pr...
  • 3 篇 department of co...
  • 2 篇 machine learning...
  • 2 篇 max-planck-insti...
  • 2 篇 vehicular system...
  • 2 篇 programming syst...
  • 2 篇 programming dist...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 tu braunschweig ...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 dept. mathematic...
  • 2 篇 programming dist...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 1 篇 depts. of comput...

作者

  • 12 篇 wu youfeng
  • 10 篇 bauer bernhard
  • 8 篇 wang cheng
  • 8 篇 niehren joachim
  • 6 篇 koller alexander
  • 5 篇 smolka gert
  • 5 篇 saha bratin
  • 5 篇 lautenbacher flo...
  • 4 篇 lochau malte
  • 4 篇 breternitz jr. m...
  • 4 篇 kuhlmann marco
  • 3 篇 duchier denys
  • 3 篇 cheng wang
  • 3 篇 adl-tabatabai al...
  • 3 篇 erk katrin
  • 3 篇 rong hongbo
  • 3 篇 youfeng wu
  • 3 篇 debusmann ralph
  • 3 篇 möhl mathias
  • 3 篇 rajagopalan moha...

语言

  • 97 篇 英文
检索条件"机构=programming Systems Lab"
97 条 记 录,以下是81-90 订阅
排序:
Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures
收藏 引用
Research on Language and Computation 2003年 第1期1卷 127-169页
作者: Erk, Katrin Koller, Alexander Niehren, Joachim Programming Systems Lab Universität des Saarlandes Saarbrücken Germany (E-mail Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany (E-mail
The Constraint Language for Lambda Structures (CLLS)is an expressive language of tree descriptions which combinesdominance constraints with powerful parallelism and bindingconstraints. CLLS was introduced as a uniform...
来源: 评论
Enhanced code density of embedded CISC processors with Echo technology  05
Enhanced code density of embedded CISC processors with Echo ...
收藏 引用
3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and systems Synthesis CODES+ISSS 2005
作者: Wu, Youfeng Breternitz Jr., Mauricio Hum, Herbert Peri, Ramesh Pickett, Jay Programming Systems Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States Low Power Microprocessor Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States Compiler Lab. Intel Labs. 2200 Mission College Blvd Santa Clara CA 95054 United States
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even at the cost of significant performance... 详细信息
来源: 评论
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... 详细信息
来源: 评论
ViPR: Visual-odometry-aided pose regression for 6DoF camera localization
arXiv
收藏 引用
arXiv 2019年
作者: Ott, Felix Feigl, Tobias Löffler, Christoffer Mutschler, Christopher Nürnberg Germany Programming Systems Group FAU Erlangen-Nürnberg Germany Machine Learning and Data Analytics Lab FAU Erlangen-Nürnberg Germany
Visual Odometry (VO) accumulates a positional drift in long-term robot navigation tasks. Although Convolutional Neural Networks (CNNs) improve VO in various aspects, VO still suffers from moving obstacles, discontinuo... 详细信息
来源: 评论
Aspect-oriented programming workshop report
Aspect-oriented programming workshop report
收藏 引用
Workshops on Object-Oriented Technology, ECOOP 1997
作者: Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch... 详细信息
来源: 评论
Comparing university rankings
Comparing university rankings
收藏 引用
12th International Conference on Scientometrics and Informetrics, ISSI 2009
作者: Aguillo, Isidro F. Bar-Ilan, Judit Levene, Mark Ortega, José Luis Cybermetrics Lab CCHS - CSIC Albasanz 26-28 28037 Madrid Spain Dept. Information Science Bar-Ilan University Ramat Gan 52900 Israel School of Computer Science and Information Systems Birkbeck University of London London WC1E 7HX United Kingdom Scientific Programming Division VICYT - CSIC Serrano 113 28006 Madrid Spain
Recently there is increasing interest in university rankings. Annual rankings of world universities are published by QS for the Times Higher Education Supplement, the Shanghai Jiao Tong University, the Higher Educatio...
来源: 评论
Model-based dynamic optimization with openmodelica and CasADi
Model-based dynamic optimization with openmodelica and CasAD...
收藏 引用
7th IFAC Symposium on Advances in Automotive Control, AAC 2013
作者: Shitahun, Alachew Ruge, Vitalij Gebremedhin, Mahder Bachmann, Bernhard Eriksson, Lars Andersson, Joel Diehl, Moritz Fritzson, Peter PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden K.U. Leuven Belgium
This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical o... 详细信息
来源: 评论
Supervised Learning for Yaw Orientation Estimation
Supervised Learning for Yaw Orientation Estimation
收藏 引用
International Conference on Indoor Positioning and Indoor Navigation (IPIN)
作者: Tobias Feigl Christopher Mutschler Michael Philippsen Machine Learning and Information Fusion Group Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Programming Systems Group
With free movement and multi-user capabilities, there is demand to open up Virtual Reality (VR) for large spaces. However, the cost of accurate camera-based tracking grows with the size of the space and the number of ... 详细信息
来源: 评论
Fast RNA structure alignment for crossing input structures
Fast RNA structure alignment for crossing input structures
收藏 引用
作者: Backofen, Rolf Landau, Gad M. Möhl, Mathias Tsur, Dekel Weimann, Oren Bioinformatics Institute of Computer Science Albert-Ludwigs-Universität Freiburg Germany Department of Computer Science University of Haifa Haifa 31905 Israel Department of Computer Science and Engineering NYU-Poly Six MetroTech Center Brooklyn NY 11201-3840 United States Programming Systems Lab Saarland University Saarbrücken Germany Ben-Gurion University Beer-Sheva Israel Massachusetts Institute of Technology Cambridge MA 02139 United States
The complexity of pairwise RNA structure alignment depends on the structural restrictions assumed for both the input structures and the computed consensus structure. For arbitrarily crossing input and consensus struct... 详细信息
来源: 评论
An efficient algorithm for the configuration problem of dominance graphs  01
An efficient algorithm for the configuration problem of domi...
收藏 引用
Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
作者: Ernst Althaus Denys Duchier Alexander Koller Kurt Mehlhorn Joachim Niehren Sven Thiel Max-Planck-Institute for Computer Science Saarbrücken Germany programming Systems Lab Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In...
来源: 评论