887 search results - page 142 / 178 » Representing Systems with Hidden State |
123
Voted
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
178
click to vote
HUMAN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
135
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
This paper proposes a combination of circuit and architectural techniques to maximize leakage power reduction in embedded processor on-chip caches. It targets cache peripheral cir...
144
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
121
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. Especially for redundantly actuated pla...