19866 search results - page 221 / 3974 » Computing all factorizations in *** |
182
click to vote
ISPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
— Rapid advancements in processor and networking technologies have led to the evolution of cluster and grid computing frameworks. These high-performance computing environments ex...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
168
click to vote
INCDM
2009
Springer
16 years 1 months ago
2009
Springer
Currently, interpretation of medical images is almost exclusively made by specialized physicians. Although, the next decades will most certainly be of change and computer-aided dia...
168
click to vote
RTCSA
2007
IEEE
16 years 26 days ago
2007
IEEE
MB++ is a system that caters to the dynamic needs of applications in a distributed, pervasive computing environment that has a wide variety of devices that act as producers and co...
204
click to vote
IWFM
2003
15 years 8 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...