Sciweavers

13917 search results - page 63 / 2784
» Abstraction of Probabilistic Systems
Sort
View
TCS
2008
14 years 9 months ago
Abstract interpretation and types for systems biology
Interpretation and Types for Systems Biology Fran
François Fages, Sylvain Soliman
SIGSOFT
1996
ACM
15 years 1 months ago
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...
William G. Griswold, Morison I. Chen, Robert W. Bo...
SYSTOR
2010
ACM
15 years 2 months ago
Plugging the hypervisor abstraction leaks caused by virtual networking
Alex Landau, David Hadas, Muli Ben-Yehuda