1604 search results - page 20 / 321 » A Logical Viewpoint on Architectures |
176
click to vote
COCO
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
160
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
124
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose an efficient reconfigurable parallel prefix counting network based on the recently-proposed technique of shift switching with domino logic, where the charge/discharge s...
183
click to vote
GCC
2007
Springer
15 years 7 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
168
click to vote
WOA
2000
15 years 7 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...