Sciweavers

3082 search results - page 589 / 617
» New Bounds for the Controller Problem
Sort
View
LCPC
2005
Springer
15 years 9 months ago
Manipulating MAXLIVE for Spill-Free Register Allocation
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...
Shashi Deepa Arcot, Henry G. Dietz, Sarojini Priya...
ICSOC
2004
Springer
15 years 9 months ago
Associating assertions with business processes and monitoring their execution
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 3 months ago
Multi Site Coordination using a Multi-Agent System
A new approach of coordination of decisions in a multi site system is proposed. It is based this approach on a multi-agent concept and on the principle of distributed network of e...
Thibaud Monteiro, Daniel Roy, Didier Anciaux
SIAMSC
2008
123views more  SIAMSC 2008»
15 years 3 months ago
Balanced Incomplete Factorization
In this paper we present a new incomplete factorization of a square matrix into triangular factors in which we get standard LU or LDLT factors (direct factors) and their inverses (...
Rafael Bru, José Marín, José ...
MANSCI
2007
90views more  MANSCI 2007»
15 years 3 months ago
Selecting a Selection Procedure
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
Jürgen Branke, Stephen E. Chick, Christian Sc...