2800 search results - page 52 / 560 » Scaling RDF with time |
160
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
124
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...
145
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes have been recently studied to save energy while preserving system reliability. The existing RAPM schemes, however, provision for ...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We study two distinct, but overlapping, networks which operate at the same time, space and frequency. The first network consists of
109
click to vote
JMLR
2006
15 years 4 months ago
2006
We show how the concave-convex procedure can be applied to transductive SVMs, which traditionally require solving a combinatorial search problem. This provides for the first time ...