Sciweavers

11573 search results - page 1681 / 2315
» Designing Relational Databases
Sort
View
SPIN
2010
Springer
15 years 5 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet
TCOM
2010
83views more  TCOM 2010»
15 years 5 months ago
Average power reduction for MSM optical signals via sparsity and uncertainty principle
Multiple subcarrier modulation is an appealing scheme for high-data rate optical communication. However a major drawback is its low average power efficiency. While subcarrier res...
Jovana Ilic, Thomas Strohmer
ACL
2010
15 years 5 months ago
"Ask Not What Textual Entailment Can Do for You..."
We challenge the NLP community to participate in a large-scale, distributed effort to design and build resources for developing and evaluating solutions to new and existing NLP ta...
Mark Sammons, V. G. Vinod Vydiswaran, Dan Roth
FPL
2010
Springer
267views Hardware» more  FPL 2010»
15 years 5 months ago
A Comparison of Hardware Acceleration Interfaces in a Customizable Soft Core Processor
Due to the continuously decreasing cost of FPGAs, they have become a valid implementation platform for SOCs. Typically, a soft core processor implementation is used to execute the ...
Gerald Hempel, Christian Hochberger, Andreas Koch
GLOBECOM
2010
IEEE
15 years 5 months ago
Routing and Scheduling in Distributed Advance Reservation Networks
Advance reservation of connection requests is a growing focus area and a range of solutions have been proposed. However, most efforts here have focused on scheduling algorithm desi...
Chongyang Xie, Hamad Alazemi, Nasir Ghani
« Prev « First page 1681 / 2315 Last » Next »