1527 search results - page 148 / 306 » From Requirements to Design: Formalizing the Key Steps |
148
click to vote
ASPDAC
2006
ACM
16 years 15 days ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
174
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: A key stage for all microarray analyses is the extraction of feature-intensities from an image. If this step goes wrong, then subsequent preprocessing and processing s...
177
click to vote
JNCA
2007
15 years 6 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
174
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
162
click to vote
SAMOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...