6274 search results - page 843 / 1255 » Proofs, Programs, Processes |
150
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
160
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
170
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
141
click to vote
ICSM
1999
IEEE
15 years 9 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
176
click to vote
COMPULOG
1999
Springer
15 years 9 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...