5810 search results - page 44 / 1162 » An Approach to Programming Based on Concepts |
133
click to vote
WCRE
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
105
click to vote
PDP
2009
IEEE
15 years 5 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
—1 In this paper, we consider an amplify-and-forward (AF) wireless relay system where multiple source nodes communicate with their corresponding destination nodes with the help o...
128
click to vote
ISOOMS
1994
15 years 3 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...