7195 search results - page 1190 / 1439 » On Computing Power |
142
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
132
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
143
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Power management in data centers has become an increasingly important concern. Large server installations are designed to handle peak load, which may be significantly larger than...
129
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...
146
click to vote
WMCSA
2003
IEEE
15 years 10 months ago
2003
IEEE
Web Services have started to appear on servers as interfaces between business-to-business applications. To date, mobile devices have only consumed Web Services running on stationa...