Skip navigation

Browsing by Subject Computer engineering

Jump to: 0-9 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
or enter first few letters:  
Showing results 74 to 92 of 92 < previous 
Issue DateTitleAuthor(s)
2024Secure Cache and Processor Architectures against Side-channel, Speculative Execution and Impostor AttacksHu, Guangyuan
2013Semantic Language Extensions for Implicit Parallel ProgrammingPrabhu, Prakash
2018Silicon Photonic Neural NetworksTait, Alexander Norman
2012Similarity Search with Multimodal DataWang, Zhe
2016Smart Data PricingJoe-Wong, Carlee
2024Specifications to enable formal verification for hardware and protocolsLu, Huaixi
2015Specifying, Verifying, and Translating Between Memory Consistency ModelsLustig, Daniel Joseph
2018Static and Dynamic Instruction Mappingfor Spatial ArchitecturesLiu, Feng
2012System design and verification methodologies for secure computingLi, Chunxiao
2012A System for Flexible Parallel ExecutionRaman, Arun
2021Testing and Analyzing Correctness in Concurrent Systems: From Microprocessors to IoT and Distributed SystemsMelissaris, Themistoklis
2021The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular VerificationZhang, Hongce
2012Trace Based Analyses of Parallel SoftwareSinha, Arnab
2022Tracking and Behavioral Targeting on Connected TV PlatformsMohajeri Moghaddam, Hooman
2023Training Deep Neural Networks with In-Memory ComputingGrimm, Christopher Lee
2019TRUSTGUARD: A MODEL FOR PRACTICAL TRUST IN REAL SYSTEMSBeard, Stephen Robert
2021Understanding and Measuring Privacy Risks in Machine LearningSong, Liwei
2024Utilizing Subword Serialization and Parallelism to Design Efficient High-Performance ProcessorsJackson, Paul
2018View and Path Planning for Scaling 3D Acquisition to Many ObjectsFan, Xinyi