1772 search results - page 310 / 355 » Classifying Problems into Complexity Classes |
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
LATA
2009
Springer
14 years 3 months ago
2009
Springer
We show that fixed membership testing for many interesting subclasses of multi-pushdown machines is no harder than for pushdowns with single stack. The models we consider are MVPA...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Detecting event frontline or boundary sensors in a complex sensor network environment is one of the critical problems for sensor network applications. In this paper, we propose ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...