11716 search results - page 309 / 2344 » Computable symbolic dynamics |
165
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
202
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
183
click to vote
AO
2007
15 years 6 months ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
165
click to vote
ISCI
2008
15 years 6 months ago
2008
The recent evolution of wireless sensor networks have yielded a demand to improve energy-efficient scheduling algorithms and energy-efficient medium access protocols. This paper p...
154
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
In this research we investigate an approach for adaptive dynamic instruction set extension, tuning processors to specific applications after fabrication. Categories and Subject De...