9110 search results - page 48 / 1822 » Formally-Based Design Evaluation |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We describe and evaluate our toolkit openBliSSART (open-source Blind Source Separation for Audio Recognition Tasks), which is the C++ framework and toolbox that we have successful...
172
click to vote
ICDE
2002
IEEE
2002
IEEE
Design and Evaluation of Alternative Selection Placement Strategies in Optimizing Continuous Queries
15 years 11 months ago
In this paper, we design and evaluate alternative selection placement strategies for optimizing a very large number of continuous queries in an Internet environment. Two grouping ...
MICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
SASN
2003
ACM
15 years 3 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
113
click to vote
MIS
2008
Springer
14 years 9 months ago
2008
Springer
The IEEE 802.16 standard provides a specification for a fixed and mobile broadband wireless access system, offering high data rate transmission of multimedia services with differen...