2632 search results - page 287 / 527 » Alternating Timed Automata |
150
Voted
ICCAD
2002
IEEE
16 years 19 days ago
2002
IEEE
This paper describes an optimization technique able to optimize a complete wireless receiver architecture in a reasonable amount of time. The optimizer alternates between spice le...
168
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
131
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Non-Linear Feedback Shift Registers (NLFSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for generating pseudo-random sequences for stream c...
122
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper considers the issue of calibrating a camera with narrow angular field of view using standard, perspective methods in computer vision. In doing so, the significance...
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Event-triggered and self-triggered control have been recently proposed as an alternative to the more traditional periodic execution of control tasks. The possibility of reducin...