Sciweavers

1075 search results - page 99 / 215
» Calculating the Number of Tunnels
Sort
View
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
13 years 8 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
ICIP
2010
IEEE
13 years 8 months ago
Image modeling and enhancement via structured sparse model selection
An image representation framework based on structured sparse model selection is introduced in this work. The corresponding modeling dictionary is comprised of a family of learned ...
Guoshen Yu, Guillermo Sapiro, Stéphane Mall...
TGC
2010
Springer
13 years 8 months ago
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
David Aspinall, Robert Atkey, Kenneth MacKenzie, D...
CDC
2009
IEEE
285views Control Systems» more  CDC 2009»
13 years 7 months ago
Adaptive randomized algorithm for finding eigenvector of stochastic matrix with application to PageRank
Abstract-- The problem of finding the eigenvector corresponding to the largest eigenvalue of a stochastic matrix has numerous applications in ranking search results, multi-agent co...
Alexander V. Nazin, Boris T. Polyak
GI
2009
Springer
13 years 7 months ago
A reference architecture for the integration of EMIS and ERP-systems
Abstract: The integration of EMIS and ERP-systems has been recognized as an important step towards a holistic and long-term oriented environmental management. A number of research ...
Peter Niemeyer, Burkhardt Funk, Andreas Mölle...