123
click to vote
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
127
click to vote
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
133
click to vote
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
The clock latency scheduling problem is usually solved on the sequential graph, also called register-to-register graph. In practice, the the extraction of the sequential graph for...
133
click to vote
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...