Sciweavers

21430 search results - page 12 / 4286
» Abstract Effective Models
Sort
View
DLOG
2009
14 years 8 months ago
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)
Inanç Seylan, Enrico Franconi, Jos de Bruij...
SIGCOMM
2012
ACM
13 years 17 days ago
Abstractions for network update
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...
ICFP
2010
ACM
14 years 11 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
GPC
2007
Springer
15 years 2 months ago
Assessing Contention Effects on MPI_Alltoall Communications
Abstract. One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithm...
Luiz Angelo Steffenel, Maxime Martinasso, Denis Tr...