Michael David May

Person

Clifton, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Interface between a bus and a inter-thread interconnect
- Patent number 9,594,720
- Issue date Mar 14, 2017
- Xmos Limited
- Andrew Stanford-Jason
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processor instruction set for controlling an event source to genera...
- Patent number 9,367,321
- Issue date Jun 14, 2016
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synchronising groups of threads with dedicated hardware logic
- Patent number 8,966,488
- Issue date Feb 24, 2015
- XMOS Ltd.
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processor architecture for use in scheduling threads in response to...
- Patent number 8,898,438
- Issue date Nov 25, 2014
- XMOS Ltd.
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Thread communications
- Patent number 8,347,312
- Issue date Jan 1, 2013
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processor communication tokens
- Patent number 8,224,884
- Issue date Jul 17, 2012
- XMOS Ltd.
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interface processor
- Patent number 8,219,789
- Issue date Jul 10, 2012
- XMOS Ltd.
- Michael David May
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Processor instruction set for controlling threads to respond to events
- Patent number 8,185,722
- Issue date May 22, 2012
- XMOS Ltd.
- Michael David May
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Message routing scheme for an array having a switch with address co...
- Patent number 8,185,719
- Issue date May 22, 2012
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Token protocol
- Patent number 8,139,601
- Issue date Mar 20, 2012
- XMOS Limited
- Michael David May
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Message routing scheme
- Patent number 7,962,717
- Issue date Jun 14, 2011
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processor with memory access stage adapted to fetch an instruction...
- Patent number 7,958,333
- Issue date Jun 7, 2011
- XMOS Ltd.
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrated circuit structure
- Patent number 7,948,060
- Issue date May 24, 2011
- XMOS Limited
- Ken Williamson
- H01 - BASIC ELECTRIC ELEMENTS
Information Patent Grant
Compact instruction set encoding
- Patent number 7,676,653
- Issue date Mar 9, 2010
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scheduling thread upon ready signal set when port transfers data on...
- Patent number 7,617,386
- Issue date Nov 10, 2009
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resuming thread to service ready port transferring data externally...
- Patent number 7,613,909
- Issue date Nov 3, 2009
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microcomputer chips with interconnected address and data paths
- Patent number 6,757,759
- Issue date Jun 29, 2004
- STMicroelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for communicating information to and from a singl...
- Patent number 6,697,931
- Issue date Feb 24, 2004
- STMicroelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cache memory with data transfer control and method of operating same
- Patent number 6,694,407
- Issue date Feb 17, 2004
- Univerisity of Bristol
- Michael D. May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interrupt and control packets for a microcomputer
- Patent number 6,658,514
- Issue date Dec 2, 2003
- STMicroelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer instruction compression
- Patent number 6,564,314
- Issue date May 13, 2003
- SGS-Thomson Microelectronics Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microcomputer with interrupt packets
- Patent number 6,549,965
- Issue date Apr 15, 2003
- STMicroelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microcomputer with bit packets for interrupts, control and memory a...
- Patent number 6,449,670
- Issue date Sep 10, 2002
- STMicroelectronics, Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microcomputer with high density RAM on single chip
- Patent number 6,414,368
- Issue date Jul 2, 2002
- STMicroelectronics Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for on-chip communication
- Patent number 6,415,344
- Issue date Jul 2, 2002
- STMicroelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microcomputer with packet translation for event packets and memory...
- Patent number 6,397,325
- Issue date May 28, 2002
- STMicroelectronics, Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microprocessor having an on-chip CPU fetching a debugging routine f...
- Patent number 6,356,960
- Issue date Mar 12, 2002
- SGS-Thomson Microelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for booting a computer
- Patent number 6,301,657
- Issue date Oct 9, 2001
- STMicroelectronics Limited
- Andrew Michael Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for addressing plurality of data values with a si...
- Patent number 6,009,508
- Issue date Dec 28, 1999
- SGS-Thomson Microelectronics Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Microcomputer with high density RAM in separate isolation well on s...
- Patent number 5,506,437
- Issue date Apr 9, 1996
- Inmos Limited
- Michael D. May
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROCESSOR COMMUNICATIONS
- Publication number 20150113184
- Publication date Apr 23, 2015
- Xmos Limited
- Andrew STANFORD-JASON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TIMING ANALYSIS
- Publication number 20110131396
- Publication date Jun 2, 2011
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MESSAGE ROUTING SCHEME
- Publication number 20110066825
- Publication date Mar 17, 2011
- XMOS Ltd.
- Michael David MAY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATED CIRCUIT STRUCTURE
- Publication number 20100001405
- Publication date Jan 7, 2010
- XMOS Ltd.
- Ken Williamson
- H01 - BASIC ELECTRIC ELEMENTS
Information Patent Application
TOKEN PROTOCOL
- Publication number 20090010260
- Publication date Jan 8, 2009
- XMOS LIMITED
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Processor communication tokens
- Publication number 20090013397
- Publication date Jan 8, 2009
- XMOS LIMITED
- Michael David May
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PROCESSOR COMMUNICATION TOKENS
- Publication number 20090013156
- Publication date Jan 8, 2009
- XMOS LIMITED
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYNCHRONISATION
- Publication number 20090013323
- Publication date Jan 8, 2009
- XMOS LIMITED
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
THREAD COMMUNICATIONS
- Publication number 20090013329
- Publication date Jan 8, 2009
- XMOS LIMITED
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TOKEN PROTOCOL
- Publication number 20090013331
- Publication date Jan 8, 2009
- XMOS LIMITED
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCHEDULING THREADS IN A PROCESSOR
- Publication number 20080301409
- Publication date Dec 4, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Compact instruction set encoding
- Publication number 20080282066
- Publication date Nov 13, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Timed ports
- Publication number 20080263318
- Publication date Oct 23, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Clocked ports
- Publication number 20080263330
- Publication date Oct 23, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Processor instruction set
- Publication number 20080229310
- Publication date Sep 18, 2008
- XMOS Limited
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Interface processor
- Publication number 20080229311
- Publication date Sep 18, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Processor instruction set
- Publication number 20080229083
- Publication date Sep 18, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Processor register architecture
- Publication number 20080229312
- Publication date Sep 18, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Message routing scheme
- Publication number 20080229059
- Publication date Sep 18, 2008
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Microcomputer
- Publication number 20030034544
- Publication date Feb 20, 2003
- Michael David May
- G06 - COMPUTING CALCULATING COUNTING

Michael David May

Person

Patents Grantslast 30 patents

Interface between a bus and a inter-thread interconnect

Processor instruction set for controlling an event source to genera...

Synchronising groups of threads with dedicated hardware logic

Processor architecture for use in scheduling threads in response to...

Thread communications

Processor communication tokens

Interface processor

Processor instruction set for controlling threads to respond to events

Message routing scheme for an array having a switch with address co...

Token protocol

Message routing scheme

Processor with memory access stage adapted to fetch an instruction...

Integrated circuit structure

Compact instruction set encoding

Scheduling thread upon ready signal set when port transfers data on...

Resuming thread to service ready port transferring data externally...

Microcomputer chips with interconnected address and data paths

System and method for communicating information to and from a singl...

Cache memory with data transfer control and method of operating same

Interrupt and control packets for a microcomputer

Computer instruction compression

Microcomputer with interrupt packets

Microcomputer with bit packets for interrupts, control and memory a...

Microcomputer with high density RAM on single chip

System and method for on-chip communication

Microcomputer with packet translation for event packets and memory...

Microprocessor having an on-chip CPU fetching a debugging routine f...

System and method for booting a computer

System and method for addressing plurality of data values with a si...

Microcomputer with high density RAM in separate isolation well on s...

Patents Applicationslast 30 patents

PROCESSOR COMMUNICATIONS

TIMING ANALYSIS

MESSAGE ROUTING SCHEME

INTEGRATED CIRCUIT STRUCTURE

TOKEN PROTOCOL

Processor communication tokens

PROCESSOR COMMUNICATION TOKENS

SYNCHRONISATION

THREAD COMMUNICATIONS

TOKEN PROTOCOL

SCHEDULING THREADS IN A PROCESSOR

Compact instruction set encoding

Timed ports

Clocked ports

Processor instruction set

Interface processor

Processor instruction set

Processor register architecture

Message routing scheme

Microcomputer