Sciweavers

548 search results - page 69 / 110
» Adding Real Time to Formal Program Development
Sort
View
MP
1998
76views more  MP 1998»
14 years 9 months ago
Warm start of the primal-dual method applied in the cutting-plane scheme
A practical warm-start procedure is described for the infeasible primal-dualinterior-point method employed to solve the restricted master problem within the cutting-plane method. ...
Jacek Gondzio
EAAI
2008
111views more  EAAI 2008»
14 years 9 months ago
Fuzzy conditional temporal problems: Strong and weak consistency
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
Marco Falda, Francesca Rossi, Kristen Brent Venabl...
AGILEDC
2006
IEEE
15 years 3 months ago
The Pairing Session as the Atomic Unit of Work
We have an Extreme Programming team at a small company dedicated to the Agile approach. Our team of 7 developers decided to use the pairing session as the fundamental unit of work...
Troy Frever, Paul Ingalls
RTAS
2006
IEEE
15 years 3 months ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...
APPT
2003
Springer
15 years 2 months ago
Scheduling Outages in Distributed Environments
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
Anthony Butler, Hema Sharda, David Taniar