1804 search results - page 344 / 361 » Use Cases in Model-Driven Software Engineering |
108
click to vote
GLVLSI
1998
IEEE
15 years 4 months ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
115
click to vote
HIPC
2007
Springer
15 years 3 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
101
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
110
click to vote
TC
2010
14 years 6 months ago
2010
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
155
click to vote
PEPM
2007
ACM
16 years 9 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...