John Shackleton
Honeywell
13 Papers
92 Citations
John Shackleton is an academic researcher from Honeywell. The author has contributed to research in topics: Software & VHDL. The author has an hindex of 6, co-authored 10 publications.
Chat about Author
Papers
Patent
Adaptive scheduler for anytime tasks
Darren Cofer,John Shackleton,Mukul Agrawal,Nigel Birch +3 more
- 30 Jul 2004
TL;DR: In this article, a set of anytime tasks is scheduled and a percentage of at least one resource is assigned to each of the set of tasks and each task is allowed to use the assigned fraction of resources in accordance with the respective assigned fraction.
40
A model for the coanalysis of hardware and software architectures
Fred Rose,Todd Carpenter,Sanjaya Kumar,John Shackleton,Todd Steeves Honeywell +4 more
- 18 Mar 1996
TL;DR: The processor model provides the key element for the coanalysis of hardware and software system architectures in multiprocessing and distributed communications.
13
Patent
Method for enhancement of multicasting forwarding protocol in a wireless network
Yunjung Yi,John Shackleton +1 more
- 16 Jan 2009
TL;DR: In this article, a method for enhancing the reliability of a simplified multicasting forwarding protocol in a wireless network is provided, which comprises establishing a list of multi-point relaying (MPR) nodes for each of a plurality of nodes.
13
Model-driven development for the seL4 microkernel using the HAMR framework
Jason Belt,John Hatcliff,Robby,John Shackleton,James C. Carciofini,Todd Carpenter,Eric Mercer,Isaac Amundson,Junaid Babar,Darren Cofer,David S. Hardin,Karl F. Hoech,Konrad Slind,Ihor Kuz,Kent McLeod +14 more
TL;DR: In this paper , the authors present a model-driven tool chain for the seL4 microkernel based on the open source High Assurance Modeling and Rapid engineering (HAMR) code generation framework for the Architecture and Analysis Definition Language (AADL).
11
Patent
Automatic sequencing based on wireless connectivity
John Shackleton,Yunjung Yi +1 more
- 12 Nov 2010
TL;DR: In this paper, a method of determining the sequence of traversing nodes in a communication network is provided, which comprises with each node, determining other nodes in the network it can reach in a single hop.
7