4463 search results - page 283 / 893 » computing 2000 |
172
click to vote
EJC
2008
15 years 6 months ago
2008
3 Motivated by the works of Ngo and Du [H. Ngo, D. Du, A survey on combinatorial group testing 4 algorithms with applications to DNA library screening, DIMACS Series in Discrete Ma...
186
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
An experiment with distance technology in a secondyear Object-Oriented Systems Design course is described. Video and computer conferencing were used in tutorial sessions where a t...
169
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Data-intensive applications in the Condor High Throughput Computing environment can place heavy demands on network resources for checkpointing and remote data access. We have deve...
198
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a Wrapper Generator for wrapping high performance legacy codes as Java/CORBA components for use in a distributed component-based problemsolving environment. U...
161
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...