1652 search results - page 48 / 331 » Integration in Real PCF |
121
Voted
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
142
Voted
CORR
2007
Springer
15 years 23 days ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
124
Voted
IDEAL
2010
Springer
14 years 10 months ago
2010
Springer
World Wide Web (WWW) is a vast source of information, the problem of information overload is more acute than ever. Due to noise in WWW, it is becoming hard to find usable informati...
118
Voted
ADHOCNETS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper proposes a way to incorporate multimedia traffic in a real-time wireless communication network without jeopardizing the hard real-time traffic. This idea has ...
100
Voted
CASC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...