2859 search results - page 72 / 572 » A Programming Environment for Bousi-Prolog |
156
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
During recent years, microprocessor energy consumption has been surging and efforts to reduce power and energy have received a lot of attention. At the same time, virtual executio...
168
click to vote
APPT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
177
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
125
click to vote
JCIT
2010
14 years 11 months ago
2010
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
131
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...