4887 search results - page 440 / 978 » System Level Design Using C |
168
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Performance projections of High Performance Computing (HPC) applications onto various hardware platforms are important for hardware vendors and HPC users. The projections aid hard...
205
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
157
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reputation systems can be used in online markets and communities in order to stimulate quality and good behaviour as well as to sanction poor quality and bad behaviour. The bas...
231
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a scalable, hierarchical control system for the dynamic resource management of a distributed real-time embedded (DRE) system. This DRE is inspired by the DARPA Adaptive...
235
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...