Sciweavers

3 search results - page 1 / 1
» Shift-Induced Dynamical Systems on Partitions and Compositio...
Sort
View
COMBINATORICS
2006
112views more  COMBINATORICS 2006»
13 years 4 months ago
Shift-Induced Dynamical Systems on Partitions and Compositions
The rules of "Bulgarian solitaire" are considered as an operation on the set of partitions to induce a finite dynamical system. We focus on partitions with no preimage u...
Brian Hopkins, Michael A. Jones
EMSOFT
2006
Springer
13 years 8 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
VEE
2005
ACM
119views Virtualization» more  VEE 2005»
13 years 10 months ago
A programmable microkernel for real-time systems
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A...