18572 search results - page 919 / 3715 » High performance C |
182
click to vote
FAC
2008
15 years 7 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
180
click to vote
DM
2007
15 years 7 months ago
2007
In this paper we study the cycle base structures of embedded graphs on surfaces. We first give a sufficient and necessary condition for a set of facial cycles to be contained in ...
181
click to vote
ESI
2010
15 years 6 months ago
2010
—Seismic Data Server Application Service (SDSAS) is developed on the SEEGRID infrastructure in order to serve massive seismic data that are archived from national seismology cent...
221
click to vote
SIAMJO
2010
15 years 6 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...
197
click to vote
ERLANG
2003
ACM
16 years 29 days ago
2003
ACM
We present a user-oriented description of features and characteristics of the High Performance Erlang (HiPE) native code compiler, which nowadays is part of Erlang/OTP. In particu...