3169 search results - page 454 / 634 » A General Framework for Large Scale Systems Development |
143
click to vote
CASES
2006
ACM
15 years 10 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...
175
click to vote
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
162
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
123
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
137
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Traditional workload management methods mainly focus on the current system status while information about the interaction between queued and running transactions is largely ignore...