Marco A. A. Sanvido

According to our database, Marco A. A. Sanvido authored at least 8 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Indirection systems for shingled-recording disk drives.

Yuval Cassuto, Marco A. A. Sanvido, Cyril Guyot, David R. Hall, Zvonimir Bandic

Proceedings of the IEEE 26th Symposium on Mass Storage Systems and Technologies, 2010

2008

<i>nand</i> Flash Memory and Its Role in Storage Architectures.

Marco A. A. Sanvido, Frank R. Chu, Anand Kulkarni, Robert Selinger

Proc. IEEE, 2008

2005

A programmable microkernel for real-time systems.

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Implementation of AFR controller in an event-driven real-time language.

Arkadeb Ghosal, J. Carlos Zavala J., Marco A. A. Sanvido, J. Karl Hedrick

Proceedings of the American Control Conference, 2005

2004

Event-Driven Programming with Logical Execution Times.

Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003

Extreme Model Checking.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido

Proceedings of the Verification: Theory and Practice, 2003

2002

Hardware-in-the-loop simulation framework.

Marco A. A. Sanvido

PhD thesis, 2002

A Giotto-Based Helicopter Control System.

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree

Proceedings of the Embedded Software, Second International Conference, 2002