Results 231 to 240 of about 664,776 (274)

Measurement of atomic scattering factors by cryo-electron microscopy

open access: yes
Shtyrov A   +11 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

ESP

ACM SIGPLAN Notices, 2001
This paper presents the design and implementation of Event-driven State-machines Programming (ESP)—a language for programmable devices. In traditional languages, like C, using event-driven state-machine forces a tradeoff that requires giving up ease of development and reliability to achieve high performance.
Sanjeev Kumar   +3 more
openaire   +1 more source

ESP

Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02, 2002
In this paper, we present a new algorithm for partial program verification that runs in polynomial time and space. We are interested in checking that a program satisfies a given temporal safety property. Our insight is that by accurately modeling only those branches in a program for which the property-related behavior differs along the ...
Manuvir Das, Sorin Lerner, Mark Seigle
openaire   +1 more source

Home - About - Disclaimer - Privacy