{"id":"https://openalex.org/W4410357463","doi":"https://doi.org/10.1145/3672608.3707920","title":"Efficient Kernel Source Code Management for BMC Optimization","display_name":"Efficient Kernel Source Code Management for BMC Optimization","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410357463","doi":"https://doi.org/10.1145/3672608.3707920"},"language":"en","primary_location":{"id":"doi:10.1145/3672608.3707920","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672608.3707920","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672608.3707920","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3672608.3707920","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068161153","display_name":"Kyeong-Sug Oh","orcid":null},"institutions":[{"id":"https://openalex.org/I141371507","display_name":"Soongsil University","ror":"https://ror.org/017xnm587","country_code":"KR","type":"education","lineage":["https://openalex.org/I141371507"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Kyungeun Oh","raw_affiliation_strings":["Soongsil University, Seoul, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Soongsil University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I141371507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077309798","display_name":"JongGeun Oh","orcid":null},"institutions":[{"id":"https://openalex.org/I141371507","display_name":"Soongsil University","ror":"https://ror.org/017xnm587","country_code":"KR","type":"education","lineage":["https://openalex.org/I141371507"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jeonghwan Oh","raw_affiliation_strings":["Soongsil University, Seoul, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Soongsil University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I141371507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005057061","display_name":"Hangyeol Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I141371507","display_name":"Soongsil University","ror":"https://ror.org/017xnm587","country_code":"KR","type":"education","lineage":["https://openalex.org/I141371507"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hangyeol Kim","raw_affiliation_strings":["Soongsil University, Seoul, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Soongsil University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I141371507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115588882","display_name":"Smirnov An","orcid":null},"institutions":[{"id":"https://openalex.org/I141371507","display_name":"Soongsil University","ror":"https://ror.org/017xnm587","country_code":"KR","type":"education","lineage":["https://openalex.org/I141371507"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seongmo An","raw_affiliation_strings":["Soongsil University, Seoul, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Soongsil University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I141371507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078795099","display_name":"Junyoung Heo","orcid":"https://orcid.org/0000-0001-6407-6678"},"institutions":[{"id":"https://openalex.org/I24214720","display_name":"Hansung University","ror":"https://ror.org/048m9x696","country_code":"KR","type":"education","lineage":["https://openalex.org/I24214720"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Junyoung Heo","raw_affiliation_strings":["Hansung University, Seoul, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Hansung University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I24214720"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101602196","display_name":"Jiman Hong","orcid":"https://orcid.org/0000-0001-7937-6358"},"institutions":[{"id":"https://openalex.org/I141371507","display_name":"Soongsil University","ror":"https://ror.org/017xnm587","country_code":"KR","type":"education","lineage":["https://openalex.org/I141371507"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jiman Hong","raw_affiliation_strings":["Soongil University, Seoul, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Soongil University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I141371507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5068161153"],"corresponding_institution_ids":["https://openalex.org/I141371507"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04655545,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1383","last_page":"1390"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11131","display_name":"Proteoglycans and glycosaminoglycans research","score":0.9743000268936157,"subfield":{"id":"https://openalex.org/subfields/1307","display_name":"Cell Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6974539756774902},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.6011719703674316},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.534774124622345},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45888692140579224},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40635621547698975},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3368383049964905},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16902929544448853},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.09709161520004272},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09192889928817749}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6974539756774902},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.6011719703674316},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.534774124622345},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45888692140579224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40635621547698975},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3368383049964905},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16902929544448853},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.09709161520004272},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09192889928817749}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3672608.3707920","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672608.3707920","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672608.3707920","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3672608.3707920","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672608.3707920","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672608.3707920","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4700831490","display_name":null,"funder_award_id":"2022-","funder_id":"https://openalex.org/F4320335489","funder_display_name":"Institute for Information and Communications Technology Promotion"},{"id":"https://openalex.org/G6072120315","display_name":null,"funder_award_id":"funded","funder_id":"https://openalex.org/F4320335489","funder_display_name":"Institute for Information and Communications Technology Promotion"}],"funders":[{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320335489","display_name":"Institute for Information and Communications Technology Promotion","ror":"https://ror.org/01g0hqq23"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410357463.pdf","grobid_xml":"https://content.openalex.org/works/W4410357463.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W2040176884","https://openalex.org/W2461883778","https://openalex.org/W4379620231","https://openalex.org/W4381663400"],"related_works":["https://openalex.org/W2115140794","https://openalex.org/W2041120224","https://openalex.org/W1504320321","https://openalex.org/W2067902980","https://openalex.org/W2548529098","https://openalex.org/W4231937131","https://openalex.org/W4312275919","https://openalex.org/W323219885","https://openalex.org/W2056396287","https://openalex.org/W3081644756"],"abstract_inverted_index":{"As":[0],"maintenance":[1],"costs":[2],"for":[3,119],"servers":[4],"in":[5],"cloud":[6],"and":[7,20,50,63,76,79,83,116,130,139,155],"large-scale":[8,99],"data":[9,152],"centers":[10],"continue":[11],"to":[12,55,74],"escalate,":[13],"the":[14,45,85,98,128,147],"development":[15],"of":[16,41,48,101,133],"efficient":[17,137],"remote":[18,39],"monitoring":[19,40],"management":[21],"systems":[22],"has":[23],"become":[24],"increasingly":[25],"critical.":[26],"The":[27,124],"Baseboard":[28],"Management":[29],"Controller":[30],"(BMC)":[31],"plays":[32],"a":[33,117],"vital":[34],"role":[35],"by":[36,97],"enabling":[37,136],"real-time":[38],"server":[42],"status,":[43],"facilitating":[44],"early":[46],"detection":[47],"issues,":[49],"supporting":[51],"timely":[52],"corrective":[53],"actions":[54],"minimize":[56],"downtime.":[57],"To":[58,105],"further":[59],"enhance":[60],"BMC":[61],"performance":[62],"achieve":[64],"faster":[65],"boot":[66,86],"times,":[67],"various":[68],"profiling":[69],"tools":[70,90],"have":[71],"been":[72],"developed":[73],"measure":[75],"visualize":[77],"CPU":[78],"memory":[80],"usage":[81],"during":[82],"after":[84],"process.":[87],"However,":[88],"these":[89,107],"face":[91],"challenges":[92],"with":[93],"transmission":[94],"delays":[95],"caused":[96],"transfer":[100,153],"kernel":[102],"source":[103],"code.":[104],"address":[106],"delays,":[108],"this":[109],"paper":[110],"proposes":[111],"an":[112],"optimized":[113],"directory":[114],"structure":[115],"method":[118,149],"transferring":[120],"only":[121],"modified":[122],"files.":[123],"proposed":[125,148],"approach":[126],"records":[127],"paths":[129],"hash":[131],"values":[132],"changed":[134],"files,":[135],"tracking":[138],"comparison":[140],"as":[141],"needed.":[142],"Experimental":[143],"results":[144],"demonstrate":[145],"that":[146],"significantly":[150],"improves":[151],"efficiency":[154],"reduces":[156],"overhead.":[157]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}