Search Results - "Parallelism."

431

A formal specification and verification framework for Time Warp-based parallel simulation. by Frey, P.

Published in IEEE Transactions on software engineering

Article

A formal specification and verification framework for Time Warp-based parallel simulation.

432

Multiple-symbol parallel decoding for variable length codes. by Nikara, J.

Published in IEEE Transactions on VLSI systems

Article

Multiple-symbol parallel decoding for variable length codes.

433

Formal analysis of a space-craft controller using SPIN. by Havelund, K.

Published in IEEE Transactions on software engineering

Article

Formal analysis of a space-craft controller using SPIN.

434

Modeling skin and proximity effects with reduced realizable RL circuits. by Shizhong Mei

Published in IEEE Transactions on VLSI systems

Article

Modeling skin and proximity effects with reduced realizable RL circuits.

435

High-performance VLSI architecture of adaptive decision feedback equalizer based on predictive parallel branch slicer (PPBS) scheme. by Meng-Da Yang

Published in IEEE Transactions on VLSI systems

Article

High-performance VLSI architecture of adaptive decision feedback equalizer based on predictive parallel branch slicer (PPBS) scheme.

436

Design of a 20-mb by Xun Liu

Published in IEEE Transactions on VLSI systems

Article

437

Customizable elliptic curve cryptosystems. by Cheung, R.C.C

Published in IEEE Transactions on VLSI systems

Article

Customizable elliptic curve cryptosystems.

438

Better coding with Visual Studio 2010. by Tunure, Doug

Published in MSDN magazine

Article

439

Industrial innovation and parallel accounting developments by Sweeting, R.C

Published in Technovation

Article

Industrial innovation and parallel accounting developments

440

Designing efficient algorithms for parallel computers. by Quinn, Michael J.

Book

A formal specification and verification framework for Time Warp-based parallel simulation. by Frey, P.

Multiple-symbol parallel decoding for variable length codes. by Nikara, J.

Formal analysis of a space-craft controller using SPIN. by Havelund, K.

Modeling skin and proximity effects with reduced realizable RL circuits. by Shizhong Mei

High-performance VLSI architecture of adaptive decision feedback equalizer based on predictive parallel branch slicer (PPBS) scheme. by Meng-Da Yang

Design of a 20-mb by Xun Liu

Customizable elliptic curve cryptosystems. by Cheung, R.C.C

Better coding with Visual Studio 2010. by Tunure, Doug

Industrial innovation and parallel accounting developments by Sweeting, R.C

Designing efficient algorithms for parallel computers. by Quinn, Michael J.

Search Tools:

Refine Results

CAMPUS

DATABASE

UNIT LIBRARY

YEAR OF PUBLICATION

CLASSIFICATION

SUBJECT

AUTHOR

RESOURCE TYPE

LANGUAGE