675 search results - page 27 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
117
click to vote
IEEEINTERACT
2003
IEEE
15 years 8 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
131
click to vote
MOBICOM
1997
ACM
15 years 6 months ago
1997
ACM
Hot swapping technology combined with pervasive heterogeneous networks empowers mobile laptop users to select the best network device for their current environment. Unfortunately,...
148
Voted
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
127
click to vote
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
115
click to vote
FASE
1998
Springer
15 years 7 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...