2836 search results - page 484 / 568 » Model Checking for Software Architectures |
144
click to vote
ECIS
2003
15 years 6 months ago
2003
In this paper we examine, how the benefits of Supply Chain Management, as announced by the literature and widely accepted, can simulatively be proven. We first present selected re...
155
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
165
Voted
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
166
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
176
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...