5015 search results - page 766 / 1003 » Model Checking a Path |
140
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Signi cant advances have been made in the area of macro planning for assembly operations i.e., dividing a product into sub-assemblies, determining the sequence of assembly operati...
148
click to vote
ISLPED
1998
ACM
15 years 10 months ago
1998
ACM
High-level power estimation is essential for designing complex low-power ICs. However, the lack of flexibility, or restriction to synthesizable code of previously presented high-...
179
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Agents can personalize otherwise impersonal computational systems. The World Wide Web presents the same appearance to every user regardless of that user’s past activity. Web Bro...
150
click to vote
INFOCOM
1994
IEEE
15 years 10 months ago
1994
IEEE
We consider the ring network with spatial reuse. Tra c streams may enter and exit the network at any node. We adopt an arrival tra c model with deterministic constraints on its sa...
160
click to vote
AUTONOMICS
2007
ACM
15 years 10 months ago
2007
ACM
This paper revisits the fundamental trade-off between endto-end and hop-by-hop transport control. The end-to-end principle has been one of the building blocks of the Internet; but...