6111 search results - page 648 / 1223 » Time, Hardware, and Uniformity |
214
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
202
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
195
click to vote
DSD
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
185
click to vote
ECMDAFA
2006
Springer
15 years 11 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
213
click to vote
FPL
2006
Springer
15 years 11 months ago
2006
Springer
This work shows a modular architecture based on FPGA's to solve the eigenvalue problem according to the Jacobi method. This method is able to solve the eigenvalues and eigenv...