Sciweavers

3198 search results - page 373 / 640
» Evolutionary Computation in Structural Design
Sort
View
SPIN
2009
Springer
16 years 1 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
SLIP
2009
ACM
16 years 1 months ago
On the bound of time-domain power supply noise based on frequency-domain target impedance
One of the popular design methodologies for power distribution networks (PDNs) is to identify a target impedance to be met across a broad frequency range. The methodology is based...
Xiang Hu, Wenbo Zhao, Peng Du, Yulei Zhang, Amiral...
AINA
2008
IEEE
16 years 1 months ago
Towards a Usenet-Like Discussion System for Users of Disconnected MANETs
Applications that rely on the publish-subscribe model (such as those dedicated to news or event distribution) require a communication model whereby information can flow towards a...
Julien Haillot, Frédéric Guidec
DSN
2008
IEEE
16 years 1 months ago
Combined circuit and microarchitecture techniques for effective soft error robustness in SMT processors
As semiconductor technology scales, reliability is becoming an increasingly crucial challenge in microprocessor design. The rSRAM and voltage scaling are two promising circuit-lev...
Xin Fu, Tao Li, José A. B. Fortes
ICPR
2008
IEEE
16 years 1 months ago
Establishing point correspondence using multidirectional binary pattern for face recognition
This paper presents a new Multidirectional Binary Pattern (MBP) for face recognition. Different from most Local Binary Pattern (LBP) related approaches which cluster LBP occurrenc...
Sanqiang Zhao, Yongsheng Gao