945 search results - page 112 / 189 » A Schedulability Analysis of Deferrable Scheduling Using Pat... |
200
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
129
Voted
DIMVA
2006
15 years 4 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
134
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Robert Thomas has shown, using simulations of experimental results, that the power flow on any line in an electric network is linearly proportional to the total system load when t...
134
click to vote
SEDE
2010
15 years 1 months ago
2010
Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and ...
155
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The paper describes a general glance to the use of element exchange techniques for optimization over permutations. A multi-level description of problems is proposed which is a fund...