Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Dern
Christopher Dern, Kirkland, WA US
| Patent application number | Description | Published |
|---|---|---|
| 20100088702 | CHECKING TRANSACTIONAL MEMORY IMPLEMENTATIONS - A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write operations of the test program threads. Executing the schedules under the locking memory model implementation provides legal final states of the shared variable(s). Executing the schedules under the transactional memory implementation produces candidate final states of the shared variable(s). If the candidate final states are also legal final states, then the transactional memory implementation passes the test. | 04-08-2010 |
Christopher W. Dern, Kirkland, WA US
| Patent application number | Description | Published |
|---|---|---|
| 20100180257 | TESTING STM USING NON-STM CODE - A software transactional memory (STM) test generator is provided that converts existing test code into test code that tests the functionality of an STM system. To generate the STM test code, the generator inserts transactional semantics into the existing test code and replaces any methods of the test code that are not supported by an STM system. The STM test code is compiled and executed to generate an STM test output, and the STM test output is compared to the output of the existing test code to produce STM test results. | 07-15-2010 |
| 20110258490 | Testing Components for Thread Safety - A checking system is described for determining whether a component is thread safe in the course of interacting with two or threads in a client environment. The checking system uses a manual, automatic, or semi-automatic technique to generate a test. The checking system then defines a set of coarse-grained observations for the test, in which the component is assumed to exhibit linearizability when interacting with threads. The set of coarse-grained observations may include both complete and “stuck” histories. The checking system then generates a set of fine-grained observations for the tests; here, the checking system makes no assumptions as to the linearizability of the component. The checking system identifies potential linearizability errors as those entries in the set of fine-grained observations that have no counterpart entries in the set of coarse-grained observations. The checking system may rely on a stateless model checking module to perform its functions. | 10-20-2011 |
Christopher William Dern, Kirkland, WA US
| Patent application number | Description | Published |
|---|---|---|
| 20100191930 | TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT - Transactional memory compatibility type attributes are associated with intermediate language code to specify, for example, that intermediate language code must be run within a transaction, or must not be run within a transaction, or may be run within a transaction. Attributes are automatically produced while generating intermediate language code from annotated source code. Default rules also generate attributes. Tools use attributes to statically or dynamically check for incompatibility between intermediate language code and a transactional memory implementation. | 07-29-2010 |
| 20110154121 | CONCURRENCY TEST EFFICTIVENESS VIA MUTATION TESTING AND DYNAMIC LOCK ELISION - One embodiment described herein is directed to a method practiced in a computing environment. The method includes acts for determining test suite effectiveness for testing for concurrency problems and/or product faults. The method includes identifying a plurality of synchronization primitives in a section of implementation source code. One or more of the synchronization primitives are iteratively modified and a same test suite is run for each iteration. For each iteration, a determination is made whether or not the test suite returns an error as a result of modifying one or more synchronization primitives. When the test suite does not return an error, the method includes providing to a user an indication which indicates at least one of a test adequacy hole for the test suite; an implementation source code fault; or an equivalent mutant of the implementation source code. | 06-23-2011 |
Gesa Dern, Duesseldorf DE
| Patent application number | Description | Published |
|---|---|---|
| 20110160411 | POLYCARBONATE COMPOSITIONS HAVING IMPROVED MECHANICAL PROPERTIES - The invention relates to compositions containing at least one (co)polycarbonate stable at high temperature and at least one ethylene-alkyl acrylate block copolymer, and to mouldings and injection moulded parts and extrudates obtainable from these compositions. | 06-30-2011 |
Gesa Dern, Dusseldorf DE
| Patent application number | Description | Published |
|---|---|---|
| 20110269896 | MOLDED PARTS HAVING IMPROVED SURFACES - Moldings obtainable from compositions comprising | 11-03-2011 |
Heinz-Jurgen Dern, Menden DE
| Patent application number | Description | Published |
|---|---|---|
| 20090000746 | Apparatus for producing jumbo rolls - The invention relates to an apparatus for producing jumbo rolls during the production of coated abrasive products. | 01-01-2009 |
Klaus Dern, Ellijay, GA US
| Patent application number | Description | Published |
|---|---|---|
| 20080264229 | Hand-held circular saw with alignment features for perpendicular cuts - An improved hand-held circular saw having increased accuracy, speed and safety for square cuts on workpieces. The saw is equipped with a pair of retractable guide pins; when both pins touch the front edge of the workpiece the Saw's blade is automatically perpendicular to it. The saw is also equipped with at least one torsion spring that temporarily holds the saw's blade above the workpiece. Without moving the saw's base, the user turns on the saw, and pressing downwardly on its handle, lowers the blade into the workpiece, making a square cut with the accuracy of a cut-off saw. The guide pins can also be automatically or manually retracted to convert the improved saw back to a conventional saw. | 10-30-2008 |