3256 search results - page 66 / 652 » Mixin-Based Programming in C |
89
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
108
Voted
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
120
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
122
click to vote
SERP
2003
15 years 3 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...
116
click to vote
DAM
1998
15 years 2 months ago
1998
We first consider so-called (1,+s)-branching programs in which along every consistent path at most s variables are tested more than once. We prove that any such program computing...