183 search results - page 31 / 37 » Developing an engineering shape benchmark for CAD models |
ISPASS
2007
IEEE
14 years 2 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
PEPM
2007
ACM
14 years 2 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num ber of scientific and engineering applications. This paper investig...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
EPIA
1999
Springer
14 years 5 days ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...