8337 search results - page 1568 / 1668 » Reasoning With Characteristic Models |
151
click to vote
OHS
2001
Springer
15 years 8 months ago
2001
Springer
Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...
133
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Distributed energy resources (DER) are in transition from the lab to the marketplace. The defining characteristic of DER is that they are active devices installed at the distribut...
158
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
170
click to vote
HPCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Much research has been done in fast communication on clusters and in protocols for supporting software shared memory across them. However, the end performance of applications that...
142
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...