11909 search results - page 2116 / 2382 » The Scheme Programming Language |
169
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a new approach for the execution of coarse-grain (tiled) parallel SPMD code for applications derived from the explicit discretization of 2-dimensional PDE prob...
196
click to vote
RAID
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
178
click to vote
CGI
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
193
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— Next-generation mobile communication systems will provide “always best connected” services to mobile users via cellular networks that provide wide area coverage for global ...
185
Voted
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...