Sciweavers

1383 search results - page 174 / 277
» Directionally adaptive super-resolution
Sort
View
ICSE
2007
IEEE-ACM
16 years 29 days ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
84
Voted
ICCAD
2002
IEEE
175views Hardware» more  ICCAD 2002»
15 years 9 months ago
Efficient model order reduction via multi-node moment matching
- The new concept of Multi-node Moment Matching (MMM) is introduced in this paper. The MMM technique simultaneously matches the moments at several nodes of a circuit using explicit...
Yehea I. Ismail
152
Voted
CTRSA
2010
Springer
257views Cryptology» more  CTRSA 2010»
15 years 7 months ago
Practical Key Recovery Attack against Secret-IV Edon-
Abstract. The SHA-3 competition has been organized by NIST to select a new hashing standard. Edon-R was one of the fastest candidates in the first round of the competition. In thi...
Gaëtan Leurent
119
Voted
CASON
2009
IEEE
15 years 7 months ago
Social Network - An Autonomous System Designed for Radio Recommendation
This paper describes the functions of a system proposed for the music tube recommendation from social network data base. Such a system enables the automatic collection, evaluation...
Grzegorz Dziczkowski, Lamine Bougueroua, Katarzyna...
ICCSA
2009
Springer
15 years 7 months ago
A Capacity Aware Data Transport Protocol for Wireless Sensor Network
Wireless link capacity within a sensor network has direct impact on its performance and throughput. Due to dense sensor deployment, interference seems to be a key factor for varyin...
Md. Obaidur Rahman, Muhammad Mostafa Monowar, Choo...