4690 search results - page 105 / 938 » An operational semantics for Scheme |
146
click to vote
ARITH
2005
IEEE
15 years 8 months ago
2005
IEEE
New bit serial squarers for long numbers in LSB first form, are presented in this paper. The first presented scheme is a 50% operational efficient squarer than has the half number...
155
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
165
click to vote
CNSR
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— In this paper we develop and analyze energyefficient cooperative techniques for multimedia applications over wireless networks. The composite cellular-short-range netw...
152
click to vote
MOC
2002
15 years 6 months ago
2002
Abstract. This paper investigates the behavior of numerical schemes for nonlinear conservation laws with source terms. We concentrate on two significant examples: relaxation approx...
124
click to vote
NA
2010
15 years 1 months ago
2010
We investigate the stability and convergence of an implicit box scheme for subsonic flows modelled by scalar conservation laws with dissipative and possibly stiff source terms. The...