12333 search results - page 2439 / 2467 » System Level Modelling for Hardware Software Systems |
182
click to vote
HPDC
2008
IEEE
16 years 10 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
171
click to vote
CDVE
2007
Springer
16 years 2 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
162
click to vote
CASES
2006
ACM
15 years 12 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
214
click to vote
PODC
2006
ACM
15 years 12 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
167
click to vote
PODC
2006
ACM
15 years 12 months ago
2006
ACM
We study the problem of maintaining sketches of recent elements of a data stream. Motivated by applications involving network data, we consider streams that are asynchronous, in w...