557 search results - page 11 / 112 » The L4.verified Project - Next Steps |
ICASSP
2011
IEEE
13 years 13 days ago
2011
IEEE
In this paper, we propose an acceleration technique of the adaptive filtering scheme called adaptive proximal forward-backward splitting method. For accelerating the convergence ...
FASE
1999
Springer
14 years 1 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
HCI
2007
13 years 10 months ago
2007
The overall objective of this research project is the development and evaluation of a flexible and cooperative management system within SME based production networks for the ramp-u...
EPK
2006
13 years 10 months ago
2006
: Within the requirements phase of many projects, functional requirements are often documented as Use Cases. Within SOA projects, however, these Use Cases are not sufficient since ...
IMCSIT
2010
13 years 6 months ago
2010
The authors consider the impact of the structure of the matrix on the convergence behavior for the GMRES projection method for solving large sparse linear equation systems resultin...