7452 search results - page 375 / 1491 » A Semantics for Multiprocessor Systems |
161
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
175
click to vote
SAMOS
2007
Springer
16 years 28 days ago
2007
Springer
As multi-processor system-on-chip (MPSoC) has become an effective solution to ever-increasing design complexity of modern embedded systems, fast and accurate HW/SW cosimulation of...
191
click to vote
CF
2009
ACM
15 years 11 months ago
2009
ACM
Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that processes large data sets. Traditionally, DSS queries have been acce...
175
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
222
click to vote
JSSPP
1995
Springer
15 years 10 months ago
1995
Springer
We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to increasing the system throughpu...