22193 search results - page 4096 / 4439 » Multiple Restricted Multiplication |
150
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
In current research, the minimum cycle times of finite state machines are estimated by computing the delays of the combinational logic in the finite state machines. Even though th...
168
click to vote
ICALP
1993
Springer
15 years 8 months ago
1993
Springer
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...
146
click to vote
CAV
1992
Springer
15 years 8 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
135
click to vote
ISER
1993
Springer
15 years 8 months ago
1993
Springer
This paper describes a complete system architecture integrating planning into a two-armed robotic workcell. The system is comprised of four major components: user interface, plann...
123
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...