1743 search results - page 289 / 349 » Generalized Modal Satisfiability |
95
Voted
OPODIS
2007
15 years 3 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...
150
click to vote
CSREAESA
2003
15 years 3 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...
125
Voted
AAAI
2000
15 years 3 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
114
click to vote
SODA
1998
ACM
15 years 3 months ago
1998
ACM
Consider the following file caching problem: in response to a sequence of requests for files, where each file has a specified size and retrieval cost, maintain a cache of files of ...
138
click to vote
AUTOMATICA
2007
15 years 2 months ago
2007
Abstract— We consider dynamic output feedback practical stabilization of uniformly observable nonlinear systems, based on high-gain observers with saturation. We assume that unce...