2836 search results - page 75 / 568 » Model Checking for Software Architectures |
143
Voted
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
155
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
99
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
122
Voted
IWPC
2006
IEEE
15 years 9 months ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
144
Voted
TC
2010
14 years 10 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...