2111 search results - page 417 / 423 » How to Program Pervasive Systems |
TPHOL
1999
IEEE
14 years 4 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
CHI
1994
ACM
13 years 12 months ago
1994
ACM
A user interface software tool helps developers design and implement the user interface. Research on past tools has had enormous impact on today's developers--virtually all a...
SIGGRAPH
1993
ACM
13 years 12 months ago
1993
ACM
The most expensive geometric operation in image synthesis is visibility determination. Classically this is solved with hidden surface removal algorithms that render only the parts...
MPC
2010
Springer
13 years 12 months ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
CGO
2009
IEEE
13 years 12 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...