8729 search results - page 133 / 1746 » Design Of Experiments: Overview |
160
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
163
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, architectures for two-dimensional and three-dimensional underwater sensor networks are discussed. A detailed overview on the current solutions for medium access con...
106
Voted
JSSPP
2004
Springer
15 years 10 months ago
2004
Springer
The well-known TOP500 list ranks the 500 most powerful high-performance computers. However, the list lacks details about the job management and scheduling on these machines. As thi...
116
click to vote
SIGUCCS
2000
ACM
15 years 9 months ago
2000
ACM
This poster session will provide an overview of a newly developed, and still evolving, web-based, interactive tutorial designed to expedite the learning curve for students require...
147
click to vote
DIAU
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a security analysis of Onion Routing, an application independent infrastructure for tra c-analysis-resistant and anonymous Internet connections. It also includ...