1446 search results - page 230 / 290 » Formal analysis of hardware requirements |
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
HASE
1999
IEEE
14 years 10 days ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
PDCN
2004
13 years 9 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Data warehouses are the core of decision support systems, which nowadays are used by all kind of enterprises in the entire world. Although many studies have been conducted on the ...