16216 search results - page 390 / 3244 » Effective Modeling with Constraints |
204
click to vote
IPPS
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we extend a previously introduced method for optimizing the arbitration policy employed by ServerNet routers and we evaluate the method's effect on scalability....
208
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
212
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
230
click to vote
WFLP
2000
Springer
15 years 11 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
214
click to vote
UIST
1995
ACM
15 years 11 months ago
1995
ACM
A fundamental issue in user interface design is the effective use of available screen space, commonly referred to as the screen real estate problem. This paper presents a new dist...