4872 search results - page 845 / 975 » CBR for Modeling Complex Systems |
204
click to vote
PRDC
2009
IEEE
16 years 1 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
178
click to vote
ASAP
2005
IEEE
15 years 12 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
192
click to vote
SIGSOFT
2003
ACM
15 years 11 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...
191
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
192
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...