4757 search results - page 591 / 952 » Generalized Posynomial Performance Modeling |
174
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
178
Voted
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
202
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—We address the issue of power-controlled shared channel access in future wireless networks supporting packetized data traffic, beyond the voice-oriented continuous traffic prima...
172
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
155
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...