9818 search results - page 268 / 1964 » Much Support and More |
154
click to vote
IEEECIT
2006
IEEE
16 years 23 days ago
2006
IEEE
Through as an important part of service-oriented system architecture, service retrieval receives much attention from industry and academia and many methods have been proposed, the...
182
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Even though middleware support for grid computing has been the subject of extensive research, scheduling policies for the grid context have not been much studied. In addition to p...
184
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
147
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurable computing has become an important part of research in software systems and computer architecture. While prior research on reconfigurable computing have addressed ar...
165
click to vote
IANDC
2006
15 years 6 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...