6149 search results - page 643 / 1230 » Revealing the programming process |
239
Voted
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
204
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
199
Voted
IPPS
2003
IEEE
16 years 16 days ago
2003
IEEE
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
184
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...
290
Voted
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...