3713 search results - page 289 / 743 » Constructing a Calculus of Programs |
133
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...
141
Voted
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we study the effects of manipulating the architected direction of conditional branches. Through the use of statistical sampling, we find that about 40% of all dyna...
128
Voted
PTS
1993
15 years 5 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
123
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
103
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...