13591 search results - page 2357 / 2719 » On the Implementation of Dynamic Evaluation |
206
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
207
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Handheld devices have become sufficiently powerful that it is easy to create, disseminate, and access digital content (e.g., photos, videos) using them. The volume of such cont...
169
click to vote
MTV
2007
IEEE
16 years 1 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
191
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
191
Voted
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
In a wireless LAN environment, clients tend to associate with the nearest access point (AP) which usually provides the strongest signal. However, this does not guarantee that user...