3706 search results - page 356 / 742 » The Transformational Approach to Program Development |
146
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
125
Voted
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
108
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
121
click to vote
COR
2007
15 years 4 months ago
2007
This paper considers the design of two-layered fully interconnected networks.A two-layered network consists of clusters of nodes, each defining an access network and a backbone n...
132
Voted
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a new approach for face clustering is developed. Mutual information and joint entropy are exploited in order to create a metric for the clustering process. The way t...