6960 search results - page 738 / 1392 » Continuity Analysis of Programs |
244
Voted
APCSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
MPI (the Message Passing Interface) continues to be the dominant programming model for parallel machines of all sizes, from small Linux clusters to the largest parallel supercomput...
215
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A large scale public health emergency such as an epidemic (occurring naturally or due to a bioterrorism attack) can result in an overwhelming number of human casualties. This can ...
190
Voted
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
234
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
223
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
Abstract. We propose a new join point model for aspect-oriented programming (AOP) languages. In most AOP languages including AspectJ, a join point is a time interval of an action i...