854 search results - page 113 / 171 » Addressing Dynamic Issues of Program Model Checking |
133
click to vote
REFLECTION
2001
Springer
15 years 6 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
118
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
129
click to vote
VLSID
2006
IEEE
15 years 8 months ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
PVM
2009
Springer
15 years 9 months ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
109
click to vote
DGO
2007
15 years 3 months ago
2007
This paper addresses cross-national information policy conflict regarding access to information. This type of information policy conflict appears more complex and controversial th...