980 search results - page 114 / 196 » A Framework for Distributing Real-Time Functions |
144
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Decision making in engineering design can be effectively addressed by using genetic algorithms to solve multi-objective problems. These multi-objective genetic algorithm...
142
click to vote
FMOODS
2007
15 years 5 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
125
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
As grid infrastructures mature, an increasing challenge is to provide end-user scientists with intuitive interfaces to computational services, data management capabilities, and vi...
125
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Grid computing involves the transparent sharing of computational resources of many types by users across large geographic distances. The altruistic nature of many current grid reso...
147
click to vote
IJVR
2008
15 years 4 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...