4690 search results - page 292 / 938 » An operational semantics for Scheme |
184
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
177
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...
174
click to vote
MICRO
1994
IEEE
15 years 11 months ago
1994
IEEE
High performance architectures have always had to deal with the performance-limiting impact of branch operations. Microprocessor designs are going to have to deal with this proble...
171
click to vote
PG
2000
IEEE
15 years 10 months ago
2000
IEEE
A novel progressive geometry compression scheme is presented in the paper. In this scheme a mesh is represented as a base mesh followed by some groups of vertex split operations us...
187
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
A consistent backup, preserving data integrity across files in a file system, is of utmost importance for the purpose of correctness and minimizing system downtime during the proc...