3256 search results - page 170 / 652 » Mixin-Based Programming in C |
135
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
142
click to vote
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
148
click to vote
SC
1995
ACM
15 years 7 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
151
click to vote
CSMR
2008
IEEE
15 years 5 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
156
click to vote
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...