咨询与建议

限定检索结果

文献类型

  • 171 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 128 篇 工学
    • 112 篇 计算机科学与技术...
    • 101 篇 软件工程
    • 16 篇 电气工程
    • 10 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 6 篇 建筑学
    • 3 篇 力学(可授工学、理...
    • 3 篇 电子科学与技术(可...
    • 3 篇 生物工程
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 交通运输工程
    • 1 篇 生物医学工程(可授...
  • 34 篇 理学
    • 21 篇 数学
    • 5 篇 物理学
    • 5 篇 系统科学
    • 4 篇 生物学
    • 2 篇 化学
    • 1 篇 大气科学
  • 13 篇 管理学
    • 8 篇 图书情报与档案管...
    • 7 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 历史学
    • 1 篇 世界史
  • 1 篇 农学

主题

  • 19 篇 functional progr...
  • 13 篇 computer program...
  • 11 篇 computer archite...
  • 7 篇 object oriented ...
  • 6 篇 computer languag...
  • 5 篇 computational mo...
  • 4 篇 programming
  • 3 篇 query languages
  • 3 篇 software enginee...
  • 3 篇 software archite...
  • 3 篇 logic programmin...
  • 3 篇 computer hardwar...
  • 3 篇 computer program...
  • 3 篇 software design
  • 3 篇 hardware
  • 2 篇 software systems
  • 2 篇 programming prof...
  • 2 篇 scalability
  • 2 篇 system software
  • 2 篇 object oriented ...

机构

  • 4 篇 programming meth...
  • 2 篇 chitkara univers...
  • 2 篇 college of compu...
  • 2 篇 shanghai institu...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 department of in...
  • 1 篇 school of educat...
  • 1 篇 department of co...
  • 1 篇 computing scienc...
  • 1 篇 programming rese...
  • 1 篇 department of co...
  • 1 篇 brics department...
  • 1 篇 advanced robotic...
  • 1 篇 school of comput...
  • 1 篇 igor sikorsky ky...
  • 1 篇 natl. technical ...
  • 1 篇 rwth aachen lehr...
  • 1 篇 department of fo...

作者

  • 2 篇 clack chris
  • 2 篇 najjar walid
  • 2 篇 bohm wim
  • 2 篇 hughes john
  • 2 篇 hudak paul
  • 2 篇 kelly paul
  • 1 篇 berezowski nick
  • 1 篇 kasik david j.
  • 1 篇 azath h.
  • 1 篇 johansson erik
  • 1 篇 hankin chris
  • 1 篇 khoshnevisan hes...
  • 1 篇 lech tuzinkiewic...
  • 1 篇 hirschfeld rober...
  • 1 篇 tamburrelli gior...
  • 1 篇 meseguer josé
  • 1 篇 bagherzadeh nade...
  • 1 篇 b. puthal
  • 1 篇 risset tanguy
  • 1 篇 miller patrick

语言

  • 171 篇 英文
  • 1 篇 其他
检索条件"任意字段=2nd International Conference on Functional Programming Languages and Computer Architecture, 1985"
172 条 记 录,以下是141-150 订阅
排序:
Untyped Aspect Calculus : Formal theory of aspect-oriented programming languages
Untyped Aspect Calculus : Formal theory of aspect-oriented p...
收藏 引用
IEEE international Advance Computing conference, IACC
作者: Dinesh Gopalani M.C. Govil Department of Computer Engineering Malaviya National Institute of Technology Jaipur Rajasthan India
The Object Calculi proposed by Abadi and Cardelli, treat objects as primitive constructs and define operations on these objects directly. This approach used by the object calculi overcomes the problem of complex encod... 详细信息
来源: 评论
2nd international conference on Numerical Analysis and Its Applications, NAA 2000
2nd International Conference on Numerical Analysis and Its A...
收藏 引用
12th IFIP WG 10.5 Advanced Research Working conference on Correct Hardware Design and Verification Methods, CHARME 2003
The proceedings contain 35 papers. The special focus in this conference is on Automata Based Methods, Specification Methods and Bounded Model Checking. The topics include: Describing and analysing circuits that are no...
来源: 评论
Compiler-directed scratchpad memory management  1
收藏 引用
2nd international conference on Embedded Software and Systems
作者: Xue, JL Univ New S Wales Sch Comp Sci & Engn Programming Languages & Compilers Grp Sydney NSW 2052 Australia
On-chip memory, in the form of (hardware-managed) cache, (software-managed) scratchpad memory (SPM) or some combination of both, is widely used in embedded systems. Most high-end embedded systems have both cache and S... 详细信息
来源: 评论
Towards systolizing compilation: An overview  2nd
收藏 引用
2nd international conference on Parallel architectures and languages Europe, PARLE 1989
作者: Lengauer, Christian Department of Computer Sciences The University of Texas at Austin Taylor Hall 2.124 AustinTX78712-1188 United States
A scheme for the compilation of imperative or functional programs into systolic programs is demonstrated on matrix composition and decomposition. Using this scheme, programs for the processor network Warp and for seve... 详细信息
来源: 评论
Higher-order abstract syntax in Coq  2nd
Higher-order abstract syntax in Coq
收藏 引用
2nd international conference on Typed Lambda Calculi and Applications, TLCA 1995
作者: Despeyroux, Joëlle Felty, Amy Hirschowitz, And INRIA Sophia-Antipolis 2004 Route des Lucioles Valbonne CedexF-06565 France AT and T Bell Laboratories 600 Mountain Ave. Murray HillNJ07974 United States CNRS URA 168 University of Nice Nice Cedex 206108 France
The terms of the simply-typed λ-calculus can be used to express the higher-order abstract syntax of objects such as logical formulas, proofs, and programs. Support for the manipulation of such objects is provided in ... 详细信息
来源: 评论
2nd international Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001
收藏 引用
2nd international Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001
The proceedings contain 35 papers. The special focus in this conference is on From Theory to Practice in Multi-Agent Systems. The topics include: Network services in context of pervasive mobile internet;on ban logics ...
来源: 评论
A Taxonomy of Methods and Models Used in Program Transformation and Parallelization  1
收藏 引用
2nd EAI international conference on Ubiquitous Communications and Network Computing, UBICNET 2019
作者: Kalyur, Sesha Nagaraja, G.S. Department of Computer Science and Engineering R. V. College of Engineering VTU Bangalore India
Developing Application and System Software in a High level programming language, has greatly improved programmer productivity, by reducing the total time and effort spent. The higher level abstractions provided by the... 详细信息
来源: 评论
User-defined data distributions in high-level programming languages
User-defined data distributions in high-level programming la...
收藏 引用
IEEE international conference on Space Mission Challenges for Information Technology, SMC-IT
作者: R.E. Diaconescu H.P. Zima Center for Advanced Computing Research California Institute of Technology Pasadena CA USA Jet Propulsion Laboratory California Institute of Technology Pasadena CA USA
One of the characteristic features of today's high performance computing systems is a physically distributed memory. Efficient management of locality is essential for meeting key performance requirements for these... 详细信息
来源: 评论
A Generic High-Availability Solution to Next-Generation Mobile Core Networks  2
A Generic High-Availability Solution to Next-Generation Mobi...
收藏 引用
2nd international conference on 6G Networking, 6GNet 2023
作者: Chen, Yi Chen, Chien Chang, Je-Wei Chen, Jyh-Cheng National Yang Ming Chiao Tung University Department of Computer Science Taiwan Saviah Technologies Inc. Taiwan
In addition to functional considerations, commercial core networks must also consider scalability and availability. If the core network encounters a single node or network function failure during the serving period, i... 详细信息
来源: 评论
COMPSAC '78: IEEE computer SOCIETY international computer SOFTWARE And APPLICATIONS conference, 2nd, 1978.
IEEE
收藏 引用
IEEE 1978年
作者: Anon
This conference proceedings contains 146 papers of which 2 appear in abstract form. One hundred and twenty-four papers are indexed separately. Topics covered include: management of computers and computer projects;ASSE... 详细信息
来源: 评论