3 search results for “software”
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
Publications Leiden researchers Skubak and Pannu frequently cited
New publications on software by Pavol Skubak and Navraj Pannu have been cited over a hundred times within the first three months. The citation numbers are likely to increase rapidly.
New practice tool for quantum computer coding: OpenFermion
In a global effort, quantum computers are rapidly being developed. In the meantime, researchers have to learn how to write code for these devices, which are fundamentally different from conventional computers. A collaboration of scientists led by Google, and including physicists from Leiden and Delft,