12697 search results - page 44 / 2540 » Call for Papers |
MLQ
1998
15 years 1 months ago
1998
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In this pre...
132
click to vote
BIRTHDAY
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
114
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
DM
2008
15 years 2 months ago
2008
A matroid-like structure defined on a convex geometry, called a cg-matroid, is defined by S. Fujishige, G. A. Koshevoy, and Y. Sano in [9]. A cg-matroid whose rank function is nat...
147
click to vote
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
Mobile Objects in Java provides support for object mobility in Java. Similarly to the RMI technique, a notion of client-side stub, called startpoint, is used to communicate transp...