3824 search results - page 614 / 765 » Geometry Constructions Language |
EDO
2000
Springer
14 years 27 days ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
PLDI
1995
ACM
14 years 25 days ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
CANDC
2005
ACM
13 years 11 months ago
2005
ACM
In this paper, we describe the origins, thematics, projects and practices of the art research collective Sponge. In particular, we focus on Sponge as a useful case study in transd...
PADL
2010
Springer
13 years 11 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...