4340 search results - page 372 / 868 » Designing for change |
188
click to vote
PVM
2009
Springer
16 years 1 months ago
2009
Springer
The objective of this research is to convert ordinary idle PCs into virtual clusters for executing parallel applications. The paper introduces VolpexMPI that is designed to enable ...
177
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
182
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
We examine the recent information visualization phenomenon known as tag clouds, which are an interesting combination of data visualization, web design element, and social marker. ...
181
click to vote
HOST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs) used in safety critical, security and military systems. The migration of IC fabrication to low-cost ...
131
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...