Now showing items 11-20 of 103
Programming style based program partition
(World Scientific Publishing, 2005-01-01)
Investigating Ahuja-Orlin's large neighbourhood search approach for examination timetabling
(Springer Verlag, 2007-04-01)
Pigs from sausages? Reengineering from assembler to C via fermaT transformations
A new approach to verify rule-based systems using Petri Nets
A hierarchical analysis of propositional temporal logic based on intervals
(College Publications, 2005)
Run-time analysis of time-critical systems.
Comparison of digital elevation models over Australia and external validation using ERS-1 satellite radar altimetry.
(Taylor & Francis, 2003-04-01)
A compositional framework for hardware/software co-design
(Springer Verlag, 2002-01-01)
Density based problem space search for the capacitated clustering p-median problem
(Springer Verlag, 2004-10-01)