4018 search results - page 159 / 804 » Process algebra for performance evaluation |
133
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
141
click to vote
EMO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In engineering and other ‘real-world’ applications, multiobjective optimization problems must frequently be tackled on a tight evaluation budget — tens or hundreds ...
117
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
119
click to vote
NETWORKING
2004
15 years 5 months ago
2004
This paper performs a comparative evaluation of two QoS architectures, RSVP Reservation Aggregation and Scalable ReservationBased QoS, aimed at providing QoS levels similar to the ...
130
click to vote
JAIR
2006
15 years 3 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...