Sciweavers

2438 search results - page 285 / 488
» Consistent Gradient Operators
Sort
View
132
Voted
PIMRC
2010
IEEE
15 years 12 days ago
Optimal beamforming in cognitive two-way relay networks
We consider a cognitive two-way relay network which consists of two transceivers (primary users) and multiple cognitive terminals. The two transceivers transmit their data toward t...
Ardalan Alizadeh, Seyed Mohammad-Sajad Sadough, Na...
SPIN
2010
Springer
15 years 11 days ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
137
Voted
CSE
2009
IEEE
15 years 9 days ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
FAST
2009
15 years 9 days ago
Generating Realistic Impressions for File-System Benchmarking
The performance of file systems and related software depends on characteristics of the underlying file-system image (i.e., file-system metadata and file contents). Unfortunately, ...
Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. ...
CJ
2010
131views more  CJ 2010»
14 years 12 months ago
Turning Back Time - What Impact on Performance?
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...
Peter G. Harrison