咨询与建议

限定检索结果

文献类型

  • 198 篇 期刊文献
  • 95 篇 会议
  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 265 篇 工学
    • 243 篇 计算机科学与技术...
    • 104 篇 软件工程
    • 28 篇 电气工程
    • 25 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 4 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 仪器科学与技术
    • 2 篇 环境科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 石油与天然气工程
    • 1 篇 交通运输工程
    • 1 篇 城乡规划学
  • 87 篇 理学
    • 82 篇 数学
    • 2 篇 生物学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地理学
  • 37 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 8 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 8 篇 经济学
    • 8 篇 应用经济学
    • 1 篇 理论经济学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 农学

主题

  • 295 篇 constraint logic...
  • 27 篇 mathematical pro...
  • 17 篇 optimization
  • 16 篇 logic programmin...
  • 15 篇 scheduling
  • 14 篇 program transfor...
  • 11 篇 decision support
  • 10 篇 program verifica...
  • 8 篇 artificial intel...
  • 8 篇 prolog
  • 7 篇 clp
  • 7 篇 constraint satis...
  • 7 篇 symbolic executi...
  • 6 篇 languages
  • 6 篇 decision support...
  • 6 篇 program analysis
  • 6 篇 test case genera...
  • 6 篇 abstract interpr...
  • 6 篇 constraint solvi...
  • 6 篇 constructive neg...

机构

  • 8 篇 kielce univ tech...
  • 6 篇 cnr iasi rome
  • 6 篇 kielce univ tech...
  • 5 篇 univ roma tor ve...
  • 5 篇 univ craiova cra...
  • 5 篇 new mexico state...
  • 5 篇 univ udine dipar...
  • 4 篇 kielce univ tech...
  • 3 篇 univ pisa dipart...
  • 3 篇 univ melbourne d...
  • 3 篇 kielce univ tech...
  • 3 篇 univ parma dipar...
  • 3 篇 iasi cnr i-00185...
  • 3 篇 carnegie mellon ...
  • 3 篇 natl univ singap...
  • 3 篇 imdea software i...
  • 3 篇 g dannunzio univ...
  • 3 篇 univ roma tor ve...
  • 3 篇 univ parma dipar...
  • 3 篇 tech univ gheorg...

作者

  • 25 篇 sitek pawel
  • 22 篇 wikarek jaroslaw
  • 13 篇 proietti maurizi...
  • 12 篇 pettorossi alber...
  • 12 篇 fioravanti fabio
  • 8 篇 de angelis emanu...
  • 6 篇 badica amelia
  • 6 篇 senni valerio
  • 6 篇 mesnard fred
  • 6 篇 badica costin
  • 6 篇 rossi gianfranco
  • 5 篇 cristia maximili...
  • 4 篇 gavanelli marco
  • 4 篇 stefanski tadeus...
  • 4 篇 stuckey pj
  • 4 篇 dovier agostino
  • 4 篇 dovier a
  • 4 篇 hermenegildo m
  • 4 篇 pontelli enrico
  • 4 篇 leon florin

语言

  • 269 篇 英文
  • 25 篇 其他
  • 1 篇 德文
检索条件"主题词=Constraint logic programming"
295 条 记 录,以下是181-190 订阅
排序:
Integrating on-line performance visualization and real-time system design
收藏 引用
REAL-TIME SYSTEMS 2005年 第3期30卷 163-185页
作者: Bakic, AM Mutka, MW Vlatacom Ltd Belgrade Serbia Monteneg Michigan State Univ Dept Comp Sci & Engn E Lansing MI 48824 USA
Emerging parallel or distributed, heterogeneous real-time computer systems with many disparate constraints and requirements would benefit from a unifying and comprehensive systems engineering support in the design, te... 详细信息
来源: 评论
Predicting peptide interactions with model class II MHC structures
收藏 引用
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS 2005年 第4期14卷 561-575页
作者: Swain, MT Brooks, AJ Kemp, GJL Univ Aberdeen Kings Coll Dept Comp Sci Aberdeen AB24 3UE Scotland
An automated method for constructing 3D models of class II MHC structures that uses constraint logic programming to select side-chain conformations is described. This method follows a comparative modeling approach in ... 详细信息
来源: 评论
A hybrid MILP/CLP algorithm for multipurpose batch process scheduling
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2005年 第6期29卷 1277-1291页
作者: Roe, B Papageorgiou, LG Shah, N Univ London Imperial Coll Sci Technol & Med Ctr Proc Syst Engn Dept Chem Engn London SW7 2AZ England UCL Ctr Proc Syst Engn Dept Chem Engn London WC1E 7JE England
This paper presents a novel hybrid constraint logic programming (CLP) and MILP algorithm for scheduling complex multipurpose batch processes. The scheduling problem is decomposed into two sub-problems: first an aggreg... 详细信息
来源: 评论
A hybrid MILP/CLP algorithm for multipurpose batch process scheduling
A hybrid MILP/CLP algorithm for multipurpose batch process s...
收藏 引用
14th European Symposium on Computer Aided Process Engineering (ESCAPE-14)
作者: Roe, B Papageorgiou, LG Shah, N Univ London Imperial Coll Sci Technol & Med Ctr Proc Syst Engn Dept Chem Engn London SW7 2AZ England UCL Ctr Proc Syst Engn Dept Chem Engn London WC1E 7JE England
This paper presents a novel hybrid constraint logic programming (CLP) and MILP algorithm for scheduling complex multipurpose batch processes. The scheduling problem is decomposed into two sub-problems: first an aggreg... 详细信息
来源: 评论
Test Selection Strategies for Lustre Descriptions in GATeL
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2005年 111卷 93-111页
作者: Marre, Bruno Blanc, Benjamin CEA DRT DTSI SOL Lab Surete Logiciels F-91191 Gif Sur Yvette France
We describe various test selection techniques from Lustre descriptions using the tool GATeL. The Lustre language is declarative and describes synchronous data-flow computations. Our test generation tool interprets the... 详细信息
来源: 评论
Comparison of constraint logic programming and distributed problem solving: a case study for interactive, efficient and practicable job-shop scheduling
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 2001年 第1-2期39卷 187-211页
作者: Trentesaux, D Pesin, P Tahon, C CNRS UMR 8530 Lab Automat & Mecan Ind & Humaines Equipe Syst Prod F-59313 Le Mont Houy 09 Valenciennes France
The job-shop scheduling issue is more and more described not only in terms of efficiency (e.g. Makespan), but also in terms of interactivity and practicability. The aim of this paper is to evaluate the ability of two ... 详细信息
来源: 评论
ATGen: automatic test data generation using constraint logic programming and symbolic execution
收藏 引用
SOFTWARE TESTING VERIFICATION & RELIABILITY 2001年 第2期11卷 81-96页
作者: Meudec, C Inst Technol Carlow Comp Phys & Math Dept Carlow Ireland
The verification and validation of software through dynamic testing is an area of software engineering where progress towards automation has been slow. In particular the automatic design and generation of test data re... 详细信息
来源: 评论
Constructive negation and constraint logic programming with sets
收藏 引用
NEW GENERATION COMPUTING 2001年 第3期19卷 209-255页
作者: Dovier, A Pontelli, E Rossi, G Univ Verona Dip Sci Tecnol I-37134 Verona Italy New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA Univ Parma Dipartimento Matemat I-43100 Parma Italy
The aim of this paper is to extend the Constructive Negation technique to the case of CLP(SET), a constraint logic programming (CLP) language based on hereditarily (and hybrid) finite sets. The challenging aspects of ... 详细信息
来源: 评论
Cane railway scheduling via constraint logic programming: Labelling order and constraints in a real-life application
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2001年 第1-4期108卷 193-209页
作者: Martin, F Pinkney, A Yu, XH Univ Cent Queensland Fac Informat & Commun Mackay Qld 4741 Australia
In Australia, cane transport is the largest unit cost in the manufacturing of raw sugar, making up around 35% of the total manufacturing costs. Producing efficient schedules for the cane railways can result in signifi... 详细信息
来源: 评论
Model based testing in incremental system development
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2004年 第3期70卷 315-329页
作者: Pretschner, A Lötzbeyer, H Philipps, J Tech Univ Munich Inst Informat D-85748 Garching Germany
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. It is argued that these parts should consist not only of programming language code, ... 详细信息
来源: 评论