Sciweavers

15777 search results - page 675 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
VMCAI
2005
Springer
16 years 11 days ago
The Arithmetic-Geometric Progression Abstract Domain
Domain VMCAI 2005 Jérôme Feret Laboratoire d’Informatique de l’École Normale Supérieure INRIA, ÉNS, CNRS ØØÔ »»ÛÛÛº º Ò׺ Ö»∼ Ö Ø December, 2008.
Jérôme Feret
VSTTE
2005
Springer
16 years 11 days ago
The Spec# Programming System: Challenges and Directions
Michael Barnett, Robert DeLine, Manuel Fähndr...
CGO
2010
IEEE
16 years 6 days ago
TAO: two-level atomicity for dynamic binary optimizations
Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Maur...
142
Voted
IUI
2003
ACM
16 years 4 days ago
Intelligent user interfaces in the living room: usability design for personalized television applications
The purpose of this paper is to present our experience from the design of a personalized television application, and the implications for the design of interactive television appl...
Konstantinos Chorianopoulos, George Lekakos, Diomi...
164
Voted
AC
2003
Springer
16 years 4 days ago
Basic Category Theory for Models of Syntax
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
Roy L. Crole