Methods for single-owner multi-consumer work queues for repeatable tasks
US-9135083-B2 · Sep 15, 2015 · US
This page is not indexed by search engines while we improve data quality.
Vechev Martin patents
Vechev Martin holds 3 patents in our database, with recent filings and technology areas summarized below.
| Metric | Value |
|---|---|
| Total patents | 3 |
| Recent patents | 0 |
| First publication | Jun 30, 2015 |
| Latest publication | Sep 15, 2015 |
Filing trend
Year-over-year patent counts for this assignee.
Not enough yearly data to assess filing trend yet.
| Year | Patents |
|---|---|
| 2015 | 3 |
| Year | Patents |
|---|---|
| 2015 | 3 |
Recent patents
Latest publications where this party is an assignee.
Automatic verification and synthesis for weak memory models
US-9110658-B2 · Aug 18, 2015 · US
Automatic verification of determinism for parallel programs
US-9069893-B2 · Jun 30, 2015 · US
Notable patents
Representative or frequently cited publications from precomputed assignee stats.
Methods for single-owner multi-consumer work queues for repeatable tasks
US-9135083-B2 · Sep 15, 2015 · US
Automatic verification and synthesis for weak memory models
US-9110658-B2 · Aug 18, 2015 · US
Automatic verification of determinism for parallel programs
US-9069893-B2 · Jun 30, 2015 · US
Top CPC classifications
Most common classification codes in this portfolio.
| CPC | Patents |
|---|---|
| G06F11/3608 | 1 |
| G06F2209/5017 | 1 |
| G06F9/44589 | 1 |
| G06F11/3604 | 1 |
| G06F8/314 | 1 |
Technology areas
Mapped technology topics for this assignee.
| Technology | Patents |
|---|---|
| Physics | 3 |