10159 search results - page 324 / 2032 » System Design Validation Using Formal Models |
130
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
As industry moves towards many-core chips, networks-on-chip (NoCs) are emerging as the scalable fabric for interconnecting the cores. With power now the first-order design constr...
117
Voted
JOT
2007
15 years 3 months ago
2007
Design patterns represent solutions to specific problem of developing one application that have evolved over time. They leverage the reuse level to the design phase by providing a...
122
Voted
FORTEST
2008
15 years 5 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
143
Voted
ISN
2000
Springer
15 years 7 months ago
2000
Springer
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
101
click to vote
MOBIS
2008
15 years 5 months ago
2008
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...