2836 search results - page 157 / 568 » Model Checking for Software Architectures |
142
click to vote
DASFAA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
161
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit ...
150
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
110
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The embryonics project proposes a family of cellular architectures with reconfiguration properties inspired by the ontogenesis of multicellular organisms. This paper proposes relia...
120
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...