Dynamic Power Management Strategies Within the IEEE 802.11 Standard
Acquaviva, Andrea, Bontà, Edoardo, Lattanzi, Emanuele
Published in Formal Methods for Mobile Computing (2005)
Published in Formal Methods for Mobile Computing (2005)
Get full text
Book Chapter
Conference Proceeding
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Bontà, Edoardo, Bernardo, Marco, Magee, Jeff, Kramer, Jeff
Published in Coordination Models and Languages (2006)
Published in Coordination Models and Languages (2006)
Get full text
Book Chapter
Conference Proceeding
Preserving Architectural Properties in Multithreaded Code Generation
Get full text
Book Chapter
Conference Proceeding