6197 search results - page 1101 / 1240 » Sandbridge Software Tools |
180
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
198
click to vote
STEP
2005
IEEE
16 years 1 days ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
171
click to vote
VISUALIZATION
2005
IEEE
16 years 1 days ago
2005
IEEE
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...
202
click to vote
VL
2005
IEEE
16 years 1 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
137
click to vote
SAC
2005
ACM
16 years 16 hour ago
2005
ACM
In this paper we describe a serializer component completely realized in .NET managed code, able to run on a stripped versions of the .NET platform (e.g., Compact Framework) and st...