10870 search results - page 2022 / 2174 » Model Checking Programs |
116
click to vote
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
113
click to vote
AINA
2004
IEEE
15 years 5 months ago
2004
IEEE
: Wide area network (WAN) -based distributed computing (DC) has become an active field of research, especially under the label of grid computing. On the other hand, research on WAN...
128
Voted
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
106
click to vote
APPROX
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes an implementation of parallel LU factorization. The focus is to achieve high performance on non-dedicated clusters, where the number of available computing re...