1746 search results - page 251 / 350 » A linear implementation of PACMAN |
120
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
115
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
125
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—We study a sensor node with an energy harvesting source. In any slot, the sensor node is in one of two modes: Wake or Sleep. The generated energy is stored in a buffer. The sens...
112
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In a team competition, two participating teams have an equal number of players, and each team orders its players linearly based on their strengths. A mechanism then specifies how...
133
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...