2752 search results - page 233 / 551 » Rounding to an Integral Program |
169
Voted
HOTI
2008
IEEE
16 years 1 months ago
2008
IEEE
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
219
Voted
SOSE
2008
IEEE
16 years 28 days ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
158
Voted
WMTE
2006
IEEE
16 years 16 days ago
2006
IEEE
Practitioners interested in integrating mobile technology effectively into distance learning programs need to consider both the benefits and limitations of such devices. This pape...
170
Voted
CONCUR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
162
Voted
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...