5588 search results - page 833 / 1118 » Parallel Implementation of Bags |
162
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Efficient design of wireless networks requires implementation of cross-layer algorithms that exploit channel state information. Capitalizing on convex optimization and stochastic...
154
click to vote
C++
1994
15 years 7 months ago
1994
The ADAPTIVE Service eXecutive (ASX) is a highly modular and extensible object-oriented framework that simplifies the development and configuration of distributed applications on ...
164
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
176
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
171
click to vote
ENGL
2008
15 years 6 months ago
2008
dynamic analysis of structures for earthquake induced loads is very expensive in terms of the computational burden. In this study, to reduce the computational effort a new neural s...