2836 search results - page 338 / 568 » Model Checking for Software Architectures |
155
Voted
GLVLSI
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template ar...
174
Voted
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
184
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
134
click to vote
WSC
2004
15 years 7 months ago
2004
To assist the decision makers, we develop a new supply chain simulation software: Easy-SC, a Java-based tool that simplifies the supply chain simulation. In its current state of d...
170
click to vote
AVI
2006
15 years 7 months ago
2006
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...