5838 search results - page 315 / 1168 » A File System for System Programming in Ubiquitous Computing |
139
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
124
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
250
click to vote
PLILP
1993
Springer
15 years 8 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
131
Voted
ICCD
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
182
Voted
GRC
2007
IEEE
15 years 11 months ago
2007
IEEE
The bulk of contents out on the Internet continue to grow at an astounding pace. As computing and communications become ubiquitous, we are entering the Mobile Internet Computing e...