3575 search results - page 146 / 715 » Presentations of computably enumerable reals |
174
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
172
click to vote
NOMS
2006
IEEE
16 years 11 days ago
2006
IEEE
—This paper presents a new method, BART (Bandwidth Available in Real-Time), for estimating the end-toend available bandwidth over a network path. It estimates bandwidth quasi-con...
214
click to vote
RTCSA
1998
IEEE
15 years 10 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
169
click to vote
RTCSA
2008
IEEE
16 years 23 days ago
2008
IEEE
—The convergence of application domains in new systems-on-chip (SoC) results in systems with many applications with a mix of soft and hard real-time requirements. To reduce cost,...
181
click to vote
JSSPP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a new scheduling method for batch jobs on massively parallel processor architectures. This method is based on the First