10539 search results - page 1763 / 2108 » On L |
199
click to vote
TCAD
1998
15 years 6 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
183
click to vote
TCAD
1998
15 years 6 months ago
1998
Abstract—We examine the implications of a new hazard-free combinational logic synthesis method [1], which generates multiplexor-based networks from binary decision diagrams (BDDs...
187
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
Lucas chains are a special type of addition chains satisfying an extra condition: for the representation ak = aj + ai of each element ak in the chain, the difference aj - ai must a...
168
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
181
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
In this paper, we examine implications of definitions of information technology to women's participation in the industry and in academe. This paper is exploratory only, based...