7 search results - page 1 / 2 » memocode 2006 |
MEMOCODE
2006
IEEE
13 years 10 months ago
2006
IEEE
MEMOCODE
2007
IEEE
13 years 10 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
MEMOCODE
2006
IEEE
13 years 10 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
MEMOCODE
2006
IEEE
13 years 10 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
MEMOCODE
2006
IEEE
13 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...