Entry Cousin:1994:PIS from lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Cousin:1994:PIS,
author = "B. Cousin and J. Helary",
title = "Performance Improvement of State Space Exploration by
Regular and Differential Hashing Functions",
journal = j-LECT-NOTES-COMP-SCI,
volume = "818",
pages = "364--??",
year = "1994",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 11:52:14 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1994.bib",
acknowledgement = ack-nhfb,
}
Related entries
- differential,
763(0)366,
773(0)187,
773(0)200,
783(0)196,
793(0)125,
800(0)187,
800(0)397,
809(0)101,
818(0)95,
879(0)59,
879(0)397
- Exploration,
856(0)621,
858(0)298,
871(0)118,
871(0)160
- function,
765(0)77,
765(0)102,
765(0)181,
765(0)286,
765(0)293,
765(0)293-1,
765(0)305,
766(0)1,
773(0)49,
773(0)175,
773(0)331,
773(0)368,
773(0)379,
774(0)251,
774(0)300,
775(0)449,
776(0)170,
778(0)63,
783(0)242,
787(0)100,
792(0)255,
793(0)359,
800(0)125,
802(0)143,
802(0)320,
802(0)333,
809(0)71,
809(0)83,
809(0)157,
814(0)371,
814(0)620,
814(0)816,
815(0)99,
818(0)41,
819(0)299,
825(0)215,
825(0)359,
834(0)324,
834(0)396,
834(0)584,
835(0)160,
839(0)75,
839(0)247,
839(0)369,
841(0)546,
844(0)465,
847(0)77,
849(0)114,
850(0)242,
854(0)878,
861(0)331,
864(0)266,
864(0)329,
866(0)6,
866(0)58,
866(0)159,
866(0)239,
866(0)249,
868(0)216,
872(0)10,
872(0)100,
877(0)80,
877(0)108
- hashing,
765(0)267,
773(0)100,
773(0)100,
820(0)239,
839(0)40,
839(0)129,
839(0)216,
855(0)94
- Improvement,
750(0)191,
817(0)214,
861(0)367,
866(0)566
- performance,
771(0)1,
779(0)187,
779(0)323,
783(0)45,
783(0)87,
783(0)141,
783(0)219,
783(0)310,
783(0)365,
783(0)376,
783(0)400,
783(0)464,
786(0)324,
793(0)153,
794(0)1,
794(0)25,
794(0)52,
794(0)76,
794(0)89,
794(0)111,
794(0)123,
794(0)139,
794(0)159,
794(0)180,
794(0)193,
794(0)213,
794(0)231,
794(0)253,
794(0)266,
794(0)284,
794(0)305,
794(0)321,
794(0)335,
794(0)353,
794(0)369,
794(0)389,
794(0)406,
794(0)425,
794(0)445,
796(0)261,
796(0)396,
796(0)446,
797(0)142,
797(0)367,
797(0)475,
797(0)493,
800(0)507,
809(0)83,
817(0)192,
817(0)301,
817(0)526,
817(0)749,
817(0)823,
817(0)827,
823(0)352,
841(0)3,
844(0)324,
846(0)66,
846(0)161,
849(0)34,
849(0)292,
849(0)312,
849(0)332,
852(0)491,
853(0)31,
853(0)45,
853(0)60,
854(0)41,
854(0)53,
854(0)265,
854(0)509,
866(0)617,
869(0)396,
875(0)19,
875(0)267,
876(0)45,
879(0)270,
879(0)362,
879(0)483
- regular,
774(0)209,
775(0)533,
780(0)99,
784(0)355,
798(0)222,
812(0)396,
814(0)816,
836(0)449,
862(0)16,
862(0)25,
862(0)130,
862(0)139,
862(0)203,
862(0)236,
872(0)76,
872(0)260,
872(0)282,
880(0)149
- space,
773(0)85,
774(0)123,
774(0)288,
775(0)85,
779(0)131,
784(0)257,
798(0)222,
800(0)109,
800(0)207,
807(0)1,
807(0)31,
808(0)147,
813(0)1,
815(0)396,
820(0)580,
824(0)61,
844(0)453,
847(0)97,
854(0)545,
855(0)72,
862(0)25,
864(0)329,
865(0)224,
866(0)428,
866(0)482
- state,
774(0)328,
793(0)45,
802(0)530,
815(0)396,
817(0)757,
818(0)455,
838(0)316,
849(0)120,
860(0)236,
862(0)139,
863(0)149,
863(0)694,
865(0)224,
882(0)69