大葉大學圖書館 |

Works:	101 works in 101 publications in 101 languages

Titles

Introduction to hardware security and trust[electronic resource] / by: (Language materials, printed)

The art of hardware architecture[electronic resource] :design methods and techniques for digital circuits / by: (Language materials, printed)

Design technology for heterogeneous embedded systems[electronic resource] / by: (Language materials, printed)

Hardware/software co-design for heterogeneous multi-core platforms[electronic resource] :the hArtes toolchain / by: (Language materials, printed)

System specification and design languages[electronic resource] :selected contributions from FDL 2010 / by: (Language materials, printed)

Reconfigurable networks-on-chip[electronic resource] / by: (Language materials, printed)

High quality test pattern generation and boolean satisfiability[electronic resource] / by: (Language materials, printed)

Analog circuit design for process variation-resilient systems-on-a-chip[electronic resource] / by: (Language materials, printed)

Disruptive logic architectures and technologies[electronic resource] :from device to system level / by: (Language materials, printed)

Multicore programming using the ParC language[electronic resource] / by: (Language materials, printed)

OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (Language materials, printed)

Introduction to open core protocol[electronic resource] :fastpath to system-on-chip design / by: (Language materials, printed)

Tree-based heterogeneous FPGA architectures[electronic resource] :application specific exploration and optimization / by: (Language materials, printed)

High-performance computing on the Intel Xeon Phi[electronic resource] :how to fully exploit MIC architectures / by: (Language materials, printed)

High-performance computational solutions in protein bioinformatics[electronic resource] / by: (Language materials, printed)

Digital VLSI design with Verilog[electronic resource] :a textbook from Silicon Valley Polytechnic Institute / by: (Language materials, printed)

Advanced computer architecture[electronic resource] :10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014 : proceedings / by: (Language materials, printed)

Debugging systems-on-chip[electronic resource] :communication-centric and abstraction-based techniques / by: (Language materials, printed)

Out-of-order parallel discrete event simulation for electronic system-level design[electronic resource] / by: (Language materials, printed)

Microarchitecture of network-on-chip routers[electronic resource] :a designer's perspective / by: (Language materials, printed)

Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 / by: (Language materials, printed)

SVA[electronic resource] :The Power of Assertions in SystemVerilog / by: (Language materials, printed)

Arbitrary modeling of TSVs for 3D integrated circuits[electronic resource] / by: (Language materials, printed)

Embedded systems design for high-speed data acquisition and control[electronic resource] / by: (Language materials, printed)

Debug automation from pre-silicon to post-silicon[electronic resource] / by: (Language materials, printed)

Dynamic memory management for embedded systems[electronic resource] / by: (Language materials, printed)

Flip-flop design in nanometer CMOS[electronic resource] :from high speed to low energy / by: (Language materials, printed)

Functional verification of dynamically reconfigurable FPGA-based systems[electronic resource] / by: (Language materials, printed)

Engineering embedded systems[electronic resource] :physics, programs, circuits / by: (Language materials, printed)

Multi-net optimization of VLSI interconnect[electronic resource] / by: (Language materials, printed)

Formal specification level[electronic resource] :concepts, methods, and algorithms / by: (Language materials, printed)

Model-driven design using IEC 61499[electronic resource] :a synchronous approach for embedded and automation systems / by: (Language materials, printed)

Trusted computing for embedded systems[electronic resource] / by: (Language materials, printed)

Multiprocessor scheduling for real-time systems[electronic resource] / by: (Language materials, printed)

Computer engineering and technology[electronic resource] :18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers / by: (Language materials, printed)

More than Moore technologies for next generation computer design[electronic resource] / by: (Language materials, printed)

Counterfeit integrated circuits[electronic resource] :detection and avoidance / by: (Language materials, printed)

Trace-based post-silicon validation for VLSI circuits[electronic resource] / by: (Language materials, printed)

Embedded systems development[electronic resource] :from functional models to implementations / by: (Language materials, printed)

SystemVerilog assertions and functional coverage[electronic resource] :guide to language, methodology and applications / by: (Language materials, printed)

Correct-by-construction approaches for SoC design[electronic resource] / by: (Language materials, printed)

Architectures for baseband signal processing[electronic resource] / by: (Language materials, printed)

Introduction to embedded systems[electronic resource] :using microcontrollers and the MSP430 / by: (Language materials, printed)

Computing with memory for energy-efficient robust systems[electronic resource] / by: (Language materials, printed)

Programming heterogeneous MPSoCs[electronic resource] :tool flows to close the software productivity gap / by: (Language materials, printed)

Exploring memory hierarchy design with emerging memory technologies[electronic resource] / by: (Language materials, printed)

SystemC and SystemC-AMS in Practice[electronic resource] :SystemC 2.3, 2.2 and SystemC-AMS 1.0 / by: (Language materials, printed)

Broadband direct RF digitization receivers[electronic resource] / by: (Language materials, printed)

Models, methods, and tools for complex chip design[electronic resource] :selected contributions from FDL 2012 / by: (Language materials, printed)

Emerging memory technologies[electronic resource] :design, architecture, and applications / by: (Language materials, printed)

Designing 2D and 3D network-on-chip architectures[electronic resource] / by: (Language materials, printed)

Routing algorithms in networks-on-chip[electronic resource] / by: (Language materials, printed)

Turbo decoder architecture for beyond-4G applications[electronic resource] / by: (Language materials, printed)

Embedded memory design for multi-core and systems on chip[electronic resource] / by: (Language materials, printed)

Integrated circuit authentication[electronic resource] :hardware trojans and counterfeit detection / by: (Language materials, printed)

Protecting chips against hold time violations due to variability[electronic resource] / by: (Language materials, printed)

Smart multicore embedded systems[electronic resource] / by: (Language materials, printed)

Source-synchronous networks-on-chip[electronic resource] :circuit and architectural interconnect modeling / by: (Language materials, printed)

Pipelined multiprocessor system-on-chip for multimedia[electronic resource] / by: (Language materials, printed)

Scheduling real-time streaming applications onto an embedded multiprocessor[electronic resource] / by: (Language materials, printed)

Design-for-test and test optimization techniques for TSV-based 3D stacked ICs[electronic resource] / by: (Language materials, printed)

Wireless communication electronics by example[electronic resource] / by: (Language materials, printed)

Parallel Computational Fluid Dynamics[electronic resource] :25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (Language materials, printed)

Scalable and near-optimal design space exploration for embedded systems[electronic resource] / by: (Language materials, printed)

Low power interconnect design[electronic resource] / by: (Language materials, printed)

Three-dimensional design methodologies for tree-based FPGA architecture[electronic resource] / by: (Language materials, printed)

Smart sensors and systems[electronic resource] / by: (Language materials, printed)

FPGA based accelerators for financial applications[electronic resource] / by: (Language materials, printed)

Wideband CMOS receivers[electronic resource] / by: (Language materials, printed)

High-performance big-data analytics[electronic resource] :computing systems and approaches / by: (Language materials, printed)

OpenMP[electronic resource] :heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Language materials, printed)

Analysis and design of networks-on-chip under high process variation[electronic resource] / by: (Language materials, printed)

Reliable software for unreliable hardware[electronic resource] :a cross layer perspective / by: (Language materials, printed)

Memory controllers for mixed-time-criticality systems[electronic resource] :architectures, methodologies and trade-offs / by: (Language materials, printed)

3D stacked chips[electronic resource] :from emerging processes to heterogeneous systems / by: (Language materials, printed)

Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 / by: (Language materials, printed)

Engineering applications of FPGAs[electronic resource] :chaotic systems, artificial neural networks, random number generators, and secure communication systems / by: (Language materials, printed)

Beginning Samsung ARTIK[electronic resource] :a guide for developers / by: (Language materials, printed)

IP cores design from specifications to production[electronic resource] :modeling, verification, optimization, and protection / by: (Language materials, printed)

The boundary-scan handbook[electronic resource] / by: (Language materials, printed)

Design for manufacturability with advanced lithography[electronic resource] / by: (Language materials, printed)

Distributed embedded controller development with petri nets[electronic resource] :application to globally-asynchronous locally-synchronous systems / by: (Language materials, printed)

Near threshold computing[electronic resource] :technology, methods and applications / by: (Language materials, printed)

FPGAs and parallel architectures for aerospace applications[electronic resource] :soft errors and fault-tolerant design / by: (Language materials, printed)

Distributed simulation[electronic resource] :a model driven engineering approach / by: (Language materials, printed)

Computer engineering and technology[electronic resource] :19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers / by: (Language materials, printed)

Heterogeneous reconfigurable processors for real-time baseband processing[electronic resource] :from algorithm to architecture / by: (Language materials, printed)

Techniques for building timing-predictable embedded systems[electronic resource] / by: (Language materials, printed)

Smart systems integration and simulation[electronic resource] / by: (Language materials, printed)

Soft error mechanisms, modeling and mitigation[electronic resource] / by: (Language materials, printed)

FPGAs for software programmers[electronic resource] / by: (Electronic resources)

Reversible and quantum circuits[electronic resource] :optimization and complexity analysis / by: (Electronic resources)

Invasive tightly coupled processor arrays[electronic resource] / by: (Electronic resources)

Advanced computer architecture[electronic resource] :11th Conference, ACA 2016, Weihai, China, August 22-23, 2016 : proceedings / by: (Electronic resources)

OpenMP[electronic resource] :memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (Electronic resources)

High performance computing[electronic resource] :ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers / by: (Electronic resources)

Instruction level parallelism[electronic resource] / by: (Language materials, printed)

Swarm intelligence based optimization[electronic resource] :second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers / by: (Language materials, printed)

Samsung ARTIK reference[electronic resource] :the definitive Developers guide / by: (Language materials, printed)

Computer engineering and technology[electronic resource] :20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016 : revised selected papers / by: (Language materials, printed)

Brain-inspired computing[electronic resource] :second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (Language materials, printed)

Processor Architectures.