Sciweavers

1312 search results - page 18 / 263
» Formally Optimal Boxing
Sort
View
139
Voted
ADBIS
2007
Springer
127views Database» more  ADBIS 2007»
16 years 17 days ago
ETL Workflows: From Formal Specification to Optimization
Timos K. Sellis, Alkis Simitsis
NOSSDAV
2005
Springer
15 years 12 months ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
155
Voted
ITP
2010
149views Mathematics» more  ITP 2010»
15 years 8 months ago
A Framework for Formal Verification of Compiler Optimizations
William Mansky, Elsa L. Gunter