536 search results - page 64 / 108 » A computer verified, monadic, functional implementation of t... |
111
click to vote
CLUSTER
2001
IEEE
15 years 3 months ago
2001
IEEE
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...
WSC
2007
15 years 2 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
ECAI
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
DAC
2005
ACM
16 years 23 days ago
2005
ACM
While performance specifications are verified before sign-off for a modern nanometer scale design, extensive application of optical proximity correction substantially alters the l...
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
—The web is a primary means of information sharing for most organizations and people. Currently, a recipient of web content knows nothing about the environment in which that info...