391 search results - page 71 / 79 » Automatic programming with semantic streams |
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
146
click to vote
ANCS
2011
ACM
13 years 10 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
EUROSYS
2008
ACM
15 years 7 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
106
click to vote
CASES
2005
ACM
15 years 18 days ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
KDD
2004
ACM
15 years 4 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...