9110 search results - page 393 / 1822 » Formally-Based Design Evaluation |
178
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Comprehensive exploration of the design space parameters at the system-level is a crucial task to evaluate architectural tradeoffs accounting for both energy and performance const...
177
click to vote
WICSA
2007
15 years 7 months ago
2007
Several Software Architecture Design Methods (SADM) have been published, reviewed, and compared. But these surveys and comparisons are mostly centered on intrinsic elements of the...
204
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
154
click to vote
CCR
2007
15 years 6 months ago
2007
Many believe that it is impossible to resolve the challenges facing today’s Internet without rethinking the fundamental assumptions and design decisions underlying its current a...
189
click to vote
CCR
2005
15 years 6 months ago
2005
Content distribution using the P2P paradigm has become one of the most dominant services in the Internet today. Most of the research effort in this area focuses on developing new ...