Sciweavers

1090 search results - page 148 / 218
» Type-Directed Partial Evaluation
Sort
View
ICC
2008
IEEE
193views Communications» more  ICC 2008»
14 years 4 months ago
SRVF: An Energy-Efficient Link Layer Protocol for Reliable Transmission over Wireless Sensor Networks
Abstract— The 802.15.4 WSN standard provides optional reliability through positive acknowledgments. Since positive-ACKs are not designed for energy efficiency, there is significa...
Adnan Iqbal, Khurram Shahzad, Syed Ali Khayam
ICCD
2008
IEEE
160views Hardware» more  ICCD 2008»
14 years 4 months ago
An improved micro-architecture for function approximation using piecewise quadratic interpolation
We present a new micro-architecture for evaluating functions based on piecewise quadratic interpolation. The micro-architecture consists mainly of a look-up table and two multiply...
Shai Erez, Guy Even
ICRA
2008
IEEE
126views Robotics» more  ICRA 2008»
14 years 4 months ago
Towards detection of orthogonal planes in monocular images of indoor environments
— In this paper, we describe the components of a novel algorithm for the extraction of dominant orthogonal planar structures from monocular images taken in indoor environments. T...
Branislav Micusík, Horst Wildenauer, Markus...
KBSE
2008
IEEE
14 years 4 months ago
Test-Suite Augmentation for Evolving Software
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
Raúl A. Santelices, Pavan Kumar Chittimalli...
SEMCO
2008
IEEE
14 years 4 months ago
Serving the Sky: Discovering and Selecting Semantic Web Services through Dynamic Skyline Queries
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...
Dimitrios Skoutas, Dimitris Sacharidis, Alkis Simi...