咨询与建议

限定检索结果

文献类型

  • 10 篇 期刊文献
  • 3 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 11 篇 工学
    • 10 篇 计算机科学与技术...
    • 6 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 信息与通信工程
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 生物学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 13 篇 binary methods
  • 3 篇 multimethods
  • 3 篇 multiple dispatc...
  • 2 篇 exact types
  • 2 篇 languages
  • 2 篇 single dispatch
  • 2 篇 typing
  • 2 篇 tuple
  • 2 篇 mytype
  • 2 篇 language design
  • 2 篇 design
  • 2 篇 generic function...
  • 2 篇 semantics
  • 2 篇 theory
  • 2 篇 subtyping
  • 1 篇 plant-environmen...
  • 1 篇 type conditional...
  • 1 篇 signal transduct...
  • 1 篇 covariance subcl...
  • 1 篇 clustering

机构

  • 1 篇 campus univ auto...
  • 1 篇 univ ghent dept ...
  • 1 篇 univ calgary cis...
  • 1 篇 vib ctr plant sy...
  • 1 篇 kyoto univ grad ...
  • 1 篇 epita res & dev ...
  • 1 篇 factis res gmbh ...
  • 1 篇 department of co...
  • 1 篇 univ udine dimi ...
  • 1 篇 department of co...
  • 1 篇 korea adv inst s...
  • 1 篇 univ ghent dept ...
  • 1 篇 kyoto univ kyoto...
  • 1 篇 bm birla sci ctr...
  • 1 篇 univ washington ...
  • 1 篇 bahcesehir univ ...
  • 1 篇 vib ctr med biot...
  • 1 篇 hebrew univ jeru...
  • 1 篇 univ freiburg d-...
  • 1 篇 iowa state univ ...

作者

  • 2 篇 mimaroglu selim
  • 2 篇 igarashi atsushi
  • 2 篇 saito chieri
  • 1 篇 millstein td
  • 1 篇 sanchez martin-f...
  • 1 篇 mishra pradeep k...
  • 1 篇 verna didier
  • 1 篇 thiemann peter
  • 1 篇 leavens gt
  • 1 篇 rinat r
  • 1 篇 goormachtig sofi...
  • 1 篇 gevaert kris
  • 1 篇 cubas pilar
  • 1 篇 redamalla rekha
  • 1 篇 struk sylwia
  • 1 篇 gary t. leavens
  • 1 篇 todd d. millstei...
  • 1 篇 honsell furio
  • 1 篇 wehr stefan
  • 1 篇 ryu sukyoung

语言

  • 10 篇 英文
  • 3 篇 其他
检索条件"主题词=binary methods"
13 条 记 录,以下是1-10 订阅
排序:
Clos solutions to binary methods
Clos solutions to binary methods
收藏 引用
International Multiconference of Engineers and Computer Scientists
作者: Verna, Didier EPITA Res & Dev Lab F-94276 Le Kremlin Bicetre France
Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise, such as typing (covariance vs. contravariance of the arguments), polymorphism on multiple arguments (lack of ... 详细信息
来源: 评论
Coalgebraic Description of Generalized binary methods
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2006年 第3期135卷 73-84页
作者: Honsell, Furio Lenisa, Marina Redamalla, Rekha Univ Udine DIMI Udine Italy BM Birla Sci Ctr Hyderabad Andhra Pradesh India
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are methods that take more than one paramet... 详细信息
来源: 评论
Improving DBSCAN's execution time by using a pruning technique on bit vectors
收藏 引用
PATTERN RECOGNITION LETTERS 2011年 第13期32卷 1572-1580页
作者: Mimaroglu, Selim Aksehirli, Emin Bahcesehir Univ Dept Comp Engn TR-34353 Istanbul Turkey
Clustering is the process of assigning a set of physical or abstract objects into previously unknown groups. The goal of clustering is to group similar objects into the same clusters and dissimilar objects into differ... 详细信息
来源: 评论
Pipelined computation of scalar multiplication in elliptic curve cryptosystems (extended version)
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 2006年 第8期55卷 1000-1010页
作者: Mishra, Pradeep Kumar Univ Calgary CISaC Calgary AB T2N 1N4 Canada
In the current work, we propose a pipelining scheme for implementing Elliptic Curve Cryptosystems (ECC). The scalar multiplication is the dominant operation in ECC. It is computed by a series of point additions and do... 详细信息
来源: 评论
Type-safe-covariant specialization with generalized matching
收藏 引用
INFORMATION AND COMPUTATION 2002年 第1期177卷 90-120页
作者: Rinat, R Hebrew Univ Jerusalem Inst Comp Sci IL-91905 Jerusalem Israel
Matching is a relation between object types originally designed to support type-safe subclassing with binary methods. In this paper we generalize it to deal with general covariance by allowing field and method paramet... 详细信息
来源: 评论
Exploring the protein-protein interaction landscape in plants
收藏 引用
PLANT CELL AND ENVIRONMENT 2019年 第2期42卷 387-409页
作者: Struk, Sylwia Jacobs, Anse Sanchez Martin-Fontecha, Elena Gevaert, Kris Cubas, Pilar Goormachtig, Sofie Univ Ghent Dept Plant Biotechnol & Bioinformat Ghent Belgium VIB Ctr Plant Syst Biol Ghent Belgium Univ Ghent Dept Biochem Ghent Belgium VIB Ctr Med Biotechnol Ghent Belgium Campus Univ Autonoma Madrid Ctr Nacl Biotecnol CSIC Plant Mol Genet Dept Madrid Spain
Protein-protein interactions (PPIs) represent an essential aspect of plant systems biology. Identification of key protein players and their interaction networks provide crucial insights into the regulation of plant de... 详细信息
来源: 评论
Matching MyType to subtyping
收藏 引用
SCIENCE OF COMPUTER PROGRAMMING 2013年 第7期78卷 933-952页
作者: Saito, Chieri Igarashi, Atsushi Kyoto Univ Kyoto 6068501 Japan
The notion of MyType has been proposed to promote type-safe reuse of binary methods and recently extended to mutually recursive definitions. It is well known, however, that MyType does not match with subtyping well. I... 详细信息
来源: 评论
Self Type Constructors  09
Self Type Constructors
收藏 引用
24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications
作者: Saito, Chieri Igarashi, Atsushi Kyoto Univ Grad Sch Informat Kyoto 6068501 Japan
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inheritance My Type is useful to write exte... 详细信息
来源: 评论
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
收藏 引用
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 2011年 第4期33卷 12-12页
作者: Wehr, Stefan Thiemann, Peter Factis Res GmbH D-79100 Freiburg Germany Univ Freiburg D-79110 Freiburg Germany
The language JavaGI extends Java 1.5 conservatively by a generalized interface mechanism. The generalization subsumes retroactive and type-conditional interface implementations, binary methods, symmetric multiple disp... 详细信息
来源: 评论
Multiple dispatch as dispatch on tuples
收藏 引用
ACM SIGPLAN NOTICES 1998年 第10期33卷 374-387页
作者: Leavens, GT Millstein, TD Iowa State Univ Dept Comp Sci Ames IA 50011 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA
Many popular object-oriented programming languages, such as C++, Smalltalk-80, Java, and Eiffel, do not support multiple dispatch. Yet without multiple dispatch, programmers find it difficult to express binary methods... 详细信息
来源: 评论