34181 search results - page 187 / 6837 » Computer system |
183
click to vote
METAINFORMATICS
2004
Springer
16 years 17 days ago
2004
Springer
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
192
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The computing resources in a volunteer computing system are highly diverse in terms of software and hardware type, speed, availability, reliability, network connectivity, and othe...
192
click to vote
GRID
2005
Springer
16 years 22 days ago
2005
Springer
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
204
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
193
click to vote
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...