Class information for:
Level 1: PROOF SEARCH STARTEGIES//STRUCTURAL SYNTHESIS OF PROGRAMS//ARTIFICIAL BEE COLONY SWARM ALGORITHM

Basic class information

Class id #P Avg. number of
references
Database coverage
of references
31103 158 16.1 19%



Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes

The table includes all classes above and classes immediately below the current class.



Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
1913 2             ACM SIGPLAN NOTICES//GARBAGE COLLECTION//REGISTER ALLOCATION 5878
31103 1                   PROOF SEARCH STARTEGIES//STRUCTURAL SYNTHESIS OF PROGRAMS//ARTIFICIAL BEE COLONY SWARM ALGORITHM 158

Terms with highest relevance score



rank Term termType Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 PROOF SEARCH STARTEGIES authKW 386525 1% 100% 2
2 STRUCTURAL SYNTHESIS OF PROGRAMS authKW 386525 1% 100% 2
3 ARTIFICIAL BEE COLONY SWARM ALGORITHM authKW 193263 1% 100% 1
4 ATTRIBUTE SEMANTICS OF DECLARATIVE LANGUAGES authKW 193263 1% 100% 1
5 DECLARATIVE REFLECTION authKW 193263 1% 100% 1
6 DIALOG SCENARIOS authKW 193263 1% 100% 1
7 DYNAMIC PLATFORM SYSTEM authKW 193263 1% 100% 1
8 EMBEDDED PROCESSORS AND LOW POWER authKW 193263 1% 100% 1
9 EMBEDDED SYSTEM LSI SYSTEM LSI authKW 193263 1% 100% 1
10 ENGINEERING KNOWLEDGE REPRESENTATION authKW 193263 1% 100% 1

Web of Science journal categories



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 Computer Science, Hardware & Architecture 5198 32% 0% 51
2 Computer Science, Software Engineering 3709 35% 0% 56
3 Computer Science, Theory & Methods 1518 27% 0% 43
4 Automation & Control Systems 455 11% 0% 18
5 Computer Science, Artificial Intelligence 276 11% 0% 18
6 Instruments & Instrumentation 124 9% 0% 15
7 COMPUTER APPLICATIONS & CYBERNETICS 72 1% 0% 1
8 Computer Science, Information Systems 62 6% 0% 9
9 Computer Science, Interdisciplinary Applications 31 4% 0% 7
10 Computer Science, Cybernetics 25 1% 0% 2

Address terms



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 REAL TIME DBMS GRP 193263 1% 100% 1
2 TELEINFORMAT 102305 4% 9% 6
3 IDA GRP 32209 1% 17% 1
4 SCI COMP INTELLIGENT INFORMAT PROC GUANGXI HIGH 24156 1% 13% 1
5 ITIC 7431 1% 4% 1
6 LIFESTYLE ENVIRONM TECHNOL S 2384 1% 1% 1
7 EMBEDDED COMP SYST 2011 1% 1% 1
8 COMP INFORMAT COMMUN ENGN 1771 1% 1% 1
9 ADV INFORMAT TECHNOL 1388 1% 1% 1
10 AGROTECHNOL FOOD SCI GRP 1122 1% 1% 1

Journals



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 DR DOBBS JOURNAL 31137 4% 2% 7
2 BYTE 30128 8% 1% 12
3 MICROPROCESSING AND MICROPROGRAMMING 29136 8% 1% 13
4 AUTOMATION AND REMOTE CONTROL 11588 9% 0% 15
5 COMPUTERS AND ARTIFICIAL INTELLIGENCE 11072 3% 1% 5
6 UNIVERSITY COMPUTING 9424 1% 2% 2
7 SOFTWARE-PRACTICE & EXPERIENCE 6624 6% 0% 9
8 DATA PROCESSING 3645 1% 2% 1
9 ELECTRONICS & WIRELESS WORLD 3219 1% 2% 1
10 MICROPROCESSORS AND MICROSYSTEMS 2760 3% 0% 5

Author Key Words



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
LCSH search Wikipedia search
1 PROOF SEARCH STARTEGIES 386525 1% 100% 2 Search PROOF+SEARCH+STARTEGIES Search PROOF+SEARCH+STARTEGIES
2 STRUCTURAL SYNTHESIS OF PROGRAMS 386525 1% 100% 2 Search STRUCTURAL+SYNTHESIS+OF+PROGRAMS Search STRUCTURAL+SYNTHESIS+OF+PROGRAMS
3 ARTIFICIAL BEE COLONY SWARM ALGORITHM 193263 1% 100% 1 Search ARTIFICIAL+BEE+COLONY+SWARM+ALGORITHM Search ARTIFICIAL+BEE+COLONY+SWARM+ALGORITHM
4 ATTRIBUTE SEMANTICS OF DECLARATIVE LANGUAGES 193263 1% 100% 1 Search ATTRIBUTE+SEMANTICS+OF+DECLARATIVE+LANGUAGES Search ATTRIBUTE+SEMANTICS+OF+DECLARATIVE+LANGUAGES
5 DECLARATIVE REFLECTION 193263 1% 100% 1 Search DECLARATIVE+REFLECTION Search DECLARATIVE+REFLECTION
6 DIALOG SCENARIOS 193263 1% 100% 1 Search DIALOG+SCENARIOS Search DIALOG+SCENARIOS
7 DYNAMIC PLATFORM SYSTEM 193263 1% 100% 1 Search DYNAMIC+PLATFORM+SYSTEM Search DYNAMIC+PLATFORM+SYSTEM
8 EMBEDDED PROCESSORS AND LOW POWER 193263 1% 100% 1 Search EMBEDDED+PROCESSORS+AND+LOW+POWER Search EMBEDDED+PROCESSORS+AND+LOW+POWER
9 EMBEDDED SYSTEM LSI SYSTEM LSI 193263 1% 100% 1 Search EMBEDDED+SYSTEM+LSI+SYSTEM+LSI Search EMBEDDED+SYSTEM+LSI+SYSTEM+LSI
10 ENGINEERING KNOWLEDGE REPRESENTATION 193263 1% 100% 1 Search ENGINEERING+KNOWLEDGE+REPRESENTATION Search ENGINEERING+KNOWLEDGE+REPRESENTATION

Core articles

The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.



Rank Reference # ref.
in cl.
Shr. of ref. in
cl.
Citations
1 WELLS, G , (1993) A COMPARISON OF 4 MICROCOMPUTER OPERATING-SYSTEMS.REAL-TIME SYSTEMS. VOL. 5. ISSUE 4. P. 345-368 12 80% 3
2 FULCHER, J , HATTON, R , (1991) BENCHMARKING FORTH.MICROPROCESSORS AND MICROSYSTEMS. VOL. 15. ISSUE 1. P. 42-53 11 79% 1
3 TRAKHTENGERTS, EA , (1995) METHODS FOR GENERATION, ESTIMATION, AND COORDINATION OF DECISIONS IN DISTRIBUTED DECISION-SUPPORT SYSTEMS.AUTOMATION AND REMOTE CONTROL. VOL. 56. ISSUE 4. P. 463-497 10 63% 0
4 GRIGORENKO, P , TYUGU, E , (2010) HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES.COMPUTING AND INFORMATICS. VOL. 29. ISSUE 2. P. 251 -280 4 67% 0
5 ORAZBAYEV, BB , ORAZBAYEVA, KN , KURMANGAZIYEVA, LT , MAKHATOVA, VE , (2015) MULTI-CRITERIA OPTIMISATION PROBLEMS FOR CHEMICAL ENGINEERING SYSTEMS AND ALGORITHMS FOR THEIR SOLUTION BASED ON FUZZY MATHEMATICAL METHODS.EXCLI JOURNAL. VOL. 14. ISSUE . P. 984 -998 3 75% 0
6 LAMMERMANN, S , TYUGU, E , VLASSOV, V , (2001) CONCURRENT IMPLEMENTATION OF STRUCTURALLY SYNTHESIZED PROGRAMS.PARALLEL COMPUTING TECHNOLOGIES. VOL. 2127. ISSUE . P. 277-284 3 100% 0
7 RUCKERT, M , BOTTCHER, A , HAUSER, M , (2009) A GENERIC VIRTUAL BUS FOR HARDWARE SIMULATOR COMPOSITION.IEEE DESIGN & TEST OF COMPUTERS. VOL. 26. ISSUE 5. P. 83 -91 2 100% 0
8 TYUGU, E , (2006) UNDERSTANDING KNOWLEDGE ARCHITECTURES.KNOWLEDGE-BASED SYSTEMS. VOL. 19. ISSUE 1. P. 50-56 2 100% 1
9 FAIDHI, JAW , ROBINSON, SK , (1987) PROGRAMMER EXPERIENCE-LEVEL INDICATORS.COMPUTER JOURNAL. VOL. 30. ISSUE 1. P. 52-62 5 83% 0
10 MATSKIN, M , TYUGU, E , (2001) STRATEGIES OF STRUCTURAL SYNTHESIS OF PROGRAMS AND ITS EXTENSIONS.COMPUTERS AND ARTIFICIAL INTELLIGENCE. VOL. 20. ISSUE 1. P. 1-25 3 75% 8

Classes with closest relation at Level 1



Rank Class id link
1 23856 A CONTROLLER INTIMATELY TIED TO THE OPERATION OF A SINGLE STORAGE DEVICE//A CONTROLLER OVERSEEING THE OPERATION OF ONE OR MORE DEVICES SIMULTANEOUSLY//A THIN DISK TYPICALLY ALUMINUM COATED WITH MAGNETIC MATERIAL
2 29378 GOAL DIRECTED EVALUATION//MULTIPARADIGM//COMPUTER LANGUAGES
3 30908 PROGRAMMING ASSESSMENT//ONLINE JUDGE//PROGRAMMING ASSIGNMENTS
4 28122 OBERON//MODULA 2//STRUCTURED PROGRAMMING
5 30132 SINGLE ADDRESS SPACE//ACCESS RIGHT//PASSWORD CAPABILITY
6 31990 UNIT CONVERSION//ALGORITHM SPECIALIZATION//CODE BASE EVOLUTION
7 25781 IBM SYSTEMS JOURNAL//BUILDING MANAGEMENT NETWORKS//AS 400 PROGRAMMING WORK BENCH
8 35181 MULTITHREADED COMPUTERS//BLOCK MULTITHREADING//EDINBURGH DATA INTENS GRP
9 31766 POPULAR COMPUTING//ACQUISITION OF MEDICAL EQUIPMENT//DATABASE LITERACY
10 26372 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING

Go to start page