12333 search results - page 2256 / 2467 » System Level Modelling for Hardware Software Systems |
121
Voted
ICS
2011
Tsinghua U.
14 years 6 months ago
2011
Tsinghua U.
Efficient on-chip resource management is crucial for Chip Multiprocessors (CMP) to achieve high resource utilization and enforce system-level performance objectives. Existing mul...
133
Voted
CEC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
113
Voted
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
141
Voted
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
113
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...