Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Kristijan
Kristijan Dragicevic, Zurich CH
| Patent application number | Description | Published |
|---|---|---|
| 20100205484 | SYSTEM AND METHOD FOR DEMONSTRATING THE CORRECTNESS OF AN EXECUTION TRACE IN CONCURRENT PROCESSING ENVIRONMENTS - Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases. | 08-12-2010 |
| 20100211954 | PRACTICAL CONTENTION-FREE DISTRIBUTED WEIGHTED FAIR-SHARE SCHEDULER - Embodiments of the invention provide a method, system and computer program product for scheduling tasks in a computer system. In an embodiment, the method comprises receiving a multitude of sets of tasks, and placing the tasks in one or more task queues. The tasks are taken from the one or more task queues and placed in a priority queue according to a first rule. The tasks in the priority queue are assigned to a multitude of working threads according to a second rule based, in part, on share values given to the tasks. In an embodiment, the tasks of each of the sets are placed in a respective one task queue; and all of the tasks in the priority queue from each of the task queues, are assigned as a group to one of the working threads. | 08-19-2010 |
Kristijan Gresak, Ljubljana SI
| Patent application number | Description | Published |
|---|---|---|
| 20100023162 | Method, System and Components for Operating a Fuel Distribution System with Unmanned Self-Service Gasoline Stations - There are disclosed a method and a device for operating a fuel distribution system having a coordination center, unmanned self-service gasoline stations with fuel reservoirs and gasoline supply vehicles, the method comprising the steps of periodically determining the available amounts of remaining fuel in the fuel reservoirs; determining the present positions and fuel levels of supply vehicles; and generating an optimized delivery path for each of said supply vehicles on the basis of said determined available amounts of remaining fuel in the fuel reservoirs, said present positions and said fuel levels of said supply vehicles. Further there is provided an unmanned self-service gasoline station and a method for operation and a system. | 01-28-2010 |
Kristijan Mudroh, Stuttgart DE
| Patent application number | Description | Published |
|---|---|---|
| 20100132357 | INTERNAL COMBUSTION ENGINE SYSTEM - The invention relates to an internal combustion engine system ( | 06-03-2010 |