366 search results - page 56 / 74 » Syntactic Abstraction of B Models to Generate Tests |
110
Voted
PATMOS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
ICCAD
2002
IEEE
15 years 7 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
102
click to vote
JCNS
2010
14 years 5 months ago
2010
Abstract Forward solutions with different levels of complexity are employed for localization of current generators, which are responsible for the electric and magnetic fields measu...
ENVSOFT
2008
14 years 10 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
ERCIMDL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...