1926 search results - page 207 / 386 » Hierarchical Peer-to-Peer Systems |
160
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...
148
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents a power evaluation framework designed for estimating power consumption of a new video telephone compression standard, ITU-H.263, at the system level. A hierarc...
169
click to vote
COMPCON
1994
IEEE
15 years 10 months ago
1994
IEEE
The application architecture of Newton, a technology for supporting Personal Digital Assistants (PDAs), is described. It combines a dynamic, object-oriented language called Newton...
168
click to vote
CAV
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
145
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...