12597 search results - page 200 / 2520 » Complexity of Mechanism Design |
145
Voted
ET
2002
15 years 3 months ago
2002
We propose an integrated framework for the design of SOC test solutions, which includes a set of algorithms for early design space exploration as well as extensive optimization for...
150
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
92
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper we present the design of a swallowable (11mm diameter by 25mm long), 12-legged endoscopic capsule for locomotion in the lower gastro intestinal tract (large bowel)...
149
click to vote
ISSTA
1996
ACM
15 years 8 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
112
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...