1626 search results - page 178 / 326 » Subtyping with Power Types |
134
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
174
click to vote
MDM
2001
Springer
15 years 9 months ago
2001
Springer
In an ad-hoc mobile network architecture, all the mobile hosts (MHs) are connected with each other through a wireless network that has a frequently changing topology. This type of ...
145
Voted
APL
2000
ACM
15 years 9 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
142
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...
139
Voted
IBERAMIA
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis. We developed a general methodology for modelling reliability of complex systems based o...