4270 search results - page 811 / 854 » A Permutation Approach to Validation |
99
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
107
Voted
SMA
1999
ACM
15 years 7 months ago
1999
ACM
Many solid modeling construction techniques produce non-manifold r-sets (solids). With each non-manifold model N we can associate a family of manifold solid models that are infini...
106
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadrat...
136
Voted
CAV
1999
Springer
15 years 7 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...
138
click to vote
DAGM
1999
Springer
15 years 7 months ago
1999
Springer
Both, the number and the size of spatial databases, such as geographic or medical databases, are rapidly growing because of the large amount of data obtained from satellite images,...