2836 search results - page 242 / 568 » Model Checking for Software Architectures |
147
click to vote
ANSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes a parallel cycle-accurate microarchitectural simulator which efficiently executes its workload by splitting the simulation process along time-axis into many in...
159
Voted
SIGSAND
2008
15 years 6 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
131
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents a portable, efficient method for accessing memory resident persistent objects in virtual memory in the context of the E programming language. Under the approac...
143
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
152
click to vote
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we examine the trade-offs in performance and area due to customizing the datapath and instruction set architecture of a soft VLIW processor implemented in a high-den...