750 search results - page 77 / 150 » Making a Difference in the Software Century |
158
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Until recently, most high-end scientific applications have been immune to performance problems caused by NonUniform Memory Access (NUMA). However, current trends in micro-proces...
158
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
154
click to vote
FDG
2009
ACM
16 years 25 days ago
2009
ACM
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
161
click to vote
TOOLS
2008
IEEE
16 years 21 days ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
167
click to vote
APSEC
2007
IEEE
16 years 20 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...