220 search results - page 41 / 44 » Saturated models of universal theories |
ISLPED
2007
ACM
13 years 8 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
SOCRATES
2008
13 years 8 months ago
2008
The purpose of this paper is to build a picture of knowledge construction models in online education. The study describes the knowledge construction process of a group of vocation...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The asymmetry of activity in virtual communities is of great interest. While participation in the activities of virtual communities is crucial for a community's survival and ...
SPAA
2009
ACM
14 years 2 months ago
2009
ACM
We consider a dynamic load balancing scenario in which users allocate resources in a non-cooperative and selfish fashion. The perceived performance of a resource for a user decre...
VISUALIZATION
2005
IEEE
14 years 26 days ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...