3482 search results - page 114 / 697 » In Praise of Numerical Computation |
CASES
2008
ACM
14 years 5 days ago
2008
ACM
Various commercial programmable compute platforms have their processor architecture enhanced with field-programmable gate arrays (FPGAs). In a common usage scenario, an applicatio...
MMB
2010
Springer
14 years 4 days ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
ICONIP
2008
13 years 11 months ago
2008
The effect of frost on the successful growth and quality of crops is well understood by growers as leading potentially to total harvest failure. Studying the frost phenomenon, espe...
WSCG
2004
13 years 11 months ago
2004
This work deals with some problems of constructing and graphical displaying for a class of kinematic surfaces generated by mutual moving ruled surfaces touching one another along ...
ESA
2010
Springer
13 years 11 months ago
2010
Springer
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...