707 search results - page 95 / 142 » Some Comments on the Coding of Programs |
114
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
90
Voted
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
88
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
CONCURRENCY
2008
15 years 21 days ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...