5472 search results - page 174 / 1095 » Stochastic Mechanism Design |
150
click to vote
ET
2002
15 years 4 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...
153
click to vote
SASO
2007
IEEE
15 years 11 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...
ICRA
2007
IEEE
15 years 11 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)...
154
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...
118
Voted
COMPSAC
2004
IEEE
15 years 8 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...