05269nam 22008415 450 99646542310331620200706125106.01-280-30716-197866103071663-540-24657-610.1007/b95732(CKB)1000000000212318(SSID)ssj0000171013(PQKBManifestationID)11153522(PQKBTitleCode)TC0000171013(PQKBWorkID)10235134(PQKB)10323810(DE-He213)978-3-540-24657-2(MiAaPQ)EBC3087288(PPN)155204327(EXLCZ)99100000000021231820121227d2004 u| 0engurnn|008mamaatxtccrHigher-Level Hardware Synthesis[electronic resource] /by Richard Sharp1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XVI, 196 p.) Lecture Notes in Computer Science,0302-9743 ;2963Bibliographic Level Mode of Issuance: Monograph3-540-21306-6 Includes bibliographical references and index.1. Introduction -- 1. Introduction -- 2. Related Work -- 3. The SAFL Language -- 4. Soft Scheduling -- 5. High-Level Synthesis of SAFL -- 6. Analysis and Optimisation of Intermediate Code -- 7. Dealing with I/O -- 8. Combining Behaviour and Structure -- 9. Transformation of SAFL Specifications -- 10. Case Study -- 11. Conclusions and Further Work.In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its “unrealistic optimism,” Moore’s prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported Moore’s law for four decades have fuelled the computer revolution. However,this exponential increase in transistor density poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available. In this monograph we investigate both (i) the design of high-level languages for hardware description, and (ii) techniques involved in translating these hi- level languages to silicon. We propose SAFL, a ?rst-order functional language designedspeci?callyforbehavioralhardwaredescription,anddescribetheimp- mentation of its associated silicon compiler. We show that the high-level pr- erties of SAFL allow one to exploit program analyses and optimizations that are not employed in existing synthesis systems. Furthermore, since SAFL fully abstracts the low-leveldetails of the implementation technology, we show how it can be compiled to a range of di?erent design styles including fully synchronous design and globally asynchronous locally synchronous (GALS) circuits.Lecture Notes in Computer Science,0302-9743 ;2963ElectronicsMicroelectronicsComputer hardwareMicroprocessorsSoftware engineeringProgramming languages (Electronic computers)Computer logicElectronics and Microelectronics, Instrumentationhttps://scigraph.springernature.com/ontologies/product-market-codes/T24027Computer Hardwarehttps://scigraph.springernature.com/ontologies/product-market-codes/I1200XProcessor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XElectronics.Microelectronics.Computer hardware.Microprocessors.Software engineering.Programming languages (Electronic computers).Computer logic.Electronics and Microelectronics, Instrumentation.Computer Hardware.Processor Architectures.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.621.39/2Sharp Richardauthttp://id.loc.gov/vocabulary/relators/aut597773MiAaPQMiAaPQMiAaPQBOOK996465423103316Higher-Level Hardware Synthesis1026853UNISA08488nam 22005055 450 99655847010331620231007100324.03-031-44696-810.1007/978-3-031-44696-2(MiAaPQ)EBC30775427(Au-PeEL)EBL30775427(DE-He213)978-3-031-44696-2(PPN)272913723(EXLCZ)992847791220004120231007d2023 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierNatural Language Processing and Chinese Computing[electronic resource] 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12–15, 2023, Proceedings, Part II /edited by Fei Liu, Nan Duan, Qingting Xu, Yu Hong1st ed. 2023.Cham :Springer Nature Switzerland :Imprint: Springer,2023.1 online resource (885 pages)Lecture Notes in Artificial Intelligence,2945-9141 ;14303Print version: Liu, Fei Natural Language Processing and Chinese Computing Cham : Springer,c2023 9783031446955 A Benchmark for Understanding Dialogue Safety in Mental Healt Support -- Fundamentals of NLP -- Span-based Pair-wise Aspect and Opinion Term Joint Extraction with Contrastive Learning -- Annotation Quality Measurement in Multi-Label Annotations -- Prompt-free Few-shot Learning with ELECTRA for Acceptability Judgment -- Dual Hierarchical Contrastive Learning for Multi-level Implicit Discourse Relation Recognition -- Towards Malay Abbreviation Disambiguation: Corpus and Unsupervised Model -- Information Extraction and Knowledge Graph -- Topic Tracking from Classification Perspective: New Chinese Dataset and Novel Temporal Correlation Enhanced Model -- A Multi-granularity Similarity Enhanced Model for Implicit Event Argument Extraction -- Multi-Perspective Feature Fusion for Event-Event Relation Extraction -- Joint Cross-Domain and Cross-Lingual Adaptation for Chinese Opinion Element Extraction -- A Relational Classification Network Integrating Multi-Scale Semantic Features -- A Novel Semantic-Enhanced Time-Aware Model for Temporal Knowledge Graph Completion -- Dual-Prompting Interaction with Entity Representation Enhancement for Event Argument Extraction -- Collective Entity Linking With Joint Subgraphs -- Coarse-to-Fine Entity Representations for Document-level Relation Extraction -- Research on Named Entity Recognition Based on Bidirectional Pointer Network and Label Knowledge Enhancement -- UKT: A Unified Knowledgeable Tuning Framework for Chinese Information Extraction -- SSUIE 1.0: A Dataset for Chinese Space Science and Utilization Information Extraction -- Extract then Adjust: A Two-Stage Approach for Automatic Term Extraction -- UniER: A Unified and Efficient Entity-Relation Extraction Method with Single-Table Modeling -- Multi-Task Biomedical Overlapping and Nested Information Extraction Model Based on Unified Framework -- NTAM: A New Transition-based Attention Model for Nested Named Entity Recognition -- Learning Well-separated and Representative Prototypes for Few-shot Event Detection -- Machine Learning for NLP -- A Frustratingly Easy Improvement for Position Embeddings via Random Padding -- IDOS: A Unified Debiasing Method via Word Shuffling -- FedEAE: Federated Learning Based Privacy-preserving Event Argument Extraction -- Event Contrastive Representation Learning Enhanced with Image Situational Information -- Promoting Open-domain Dialogue Generation through Learning Pattern Information between Contexts and Responses -- Neural News Recommendation with Interactive News Encoding and Mixed User Encoding -- Machine Translation and Multilinguality -- CD-BLI: Confidence-Based Dual Refinement for Unsupervised Bilingual Lexicon Induction -- A Novel POS-guided Data Augmentation Method for Sign Language Gloss Translation -- Faster and More Robust Low-Resource Nearest Neighbor Machine Translation -- Towards Effective Ancient Chinese Translation: Dataset, Model, and Evaluation -- Multimodality and Explainability -- Two-stage Adaptation for Cross-corpus Multimodal Emotion Recognition -- Knowledgeable Salient Span Mask for Enhancing Language Models as Knowledge Base -- A Text-Image Pair Is not Enough:Language-Vision Relation Inference with Auxiliary Modality Translation -- Enriching Semantic Features for Medical Report Generation -- Entity-related Unsupervised Pretraining with Visual Prompts for Multimodal Aspect-based Sentiment Analysis -- ZeroGen: Zero-shot Multimodal Controllable Text Generation with Multiple Oracles -- DialogueSMM: Emotion Recognition in Conversation with Speaker-aware Multimodal Multi-head Attention -- QAE: A Hard-label Textual Attack Considering the Comprehensive Quality of Adversarial Examples -- IMTM: Invisible Multi-Trigger Multimodal Backdoor Attack -- NLP Applications and Text Mining -- Enhancing Similar Case Matching with Event-Context Detection in Legal Intelligence -- Unsupervised Clustering with Contrastive Learning for Rumor Tracking on Social Media -- EP-Transformer: Efficient Context Propagation for Long Document -- Cross and Self Attention based Graph Convolutional Network for Aspect-based Sentiment Analysis -- KESDT: Knowledge Enhanced Shallow and Deep Transformer for Detecting Adverse Drug Reactions -- CCAE: A Corpus of Chinese-based Asian Englishes -- Emotionally-Bridged Cross-Lingual Meta-Learning for Chinese Sexism Detection -- CCPC: A Hierarchical Chinese Corpus for Patronizing and Condescending Language Detection -- FGCS: A Fine-grained Scientific Information Extraction Dataset in Computer Science Domain -- Improving Event Representation for Script Event Prediction via Data Augmentation and Integration -- Beyond Hard Samples: Robust and Effective Grammatical Error Correction with Cycle Self-Augmenting -- DAAL: Domain Adversarial Active Learning Based on Dual Features for Rumor Detection -- CCC: Chinese Commercial Contracts Dataset for Documents Layout Understanding -- Question Answering -- OnMKD: An Online Mutual Knowledge Distillation Framework for Passage Retrieval -- Unsupervised Clustering for Negative Sampling to Optimize Open-domain Question Answering Retrieval -- Enhancing In-Context Learning with Answer Feedback for Multi-Span Question Answering -- Large Language Models -- RAC-BERT: Character Radical Enhanced BERT for Ancient Chinese -- Neural Knowledge Bank for Pretrained Transformers -- Summarization and Generation -- A Hybrid Summarization Method for Legal Judgment Documents based on Lawformer -- Enhancing Semantic Consistency in Linguistic Steganography via Denosing Auto-Encoder and Semantic-Constrained Huffman Coding -- Review Generation Combined with Feature and Instance-Based Domain Adaptation for Cross-Domain Aspect-Based Sentiment Analysis -- WikiIns: A High-Quality Dataset for Controlled Text Editing by Natural Language Instruction -- Medical Report Generation based on Segment-Enhanced Contrastive Representation Learning -- Enhancing MOBA Game Commentary Generation With Fine-Grained Prototype Retrieval.This three-volume set constitutes the refereed proceedings of the 12th National CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2023, held in Foshan, China, during October 12–15, 2023. The ____ regular papers included in these proceedings were carefully reviewed and selected from 478 submissions. They were organized in topical sections as follows: dialogue systems; fundamentals of NLP; information extraction and knowledge graph; machine learning for NLP; machine translation and multilinguality; multimodality and explainability; NLP applications and text mining; question answering; large language models; summarization and generation; student workshop; and evaluation workshop.Lecture Notes in Artificial Intelligence,2945-9141 ;14303Artificial intelligenceArtificial IntelligenceArtificial intelligence.Artificial Intelligence.006.3Liu Fei1062428Duan Nan1431726Xu Qingting1431727Hong Yu826415MiAaPQMiAaPQMiAaPQBOOK996558470103316Natural Language Processing and Chinese Computing3574630UNISA