Results 231 to 240 of about 664,776 (274)
In vitro cytokine response of circulating mononuclear cells from healthy dogs to stage-specific antigens of Angiostrongylus vasorum. [PDF]
Hertaeg J +5 more
europepmc +1 more source
Mechanistic and Kinetic Insights into the Interfacial Polymerization of Fluorine-Containing Polyarylate. [PDF]
Li L +6 more
europepmc +1 more source
Measurement of atomic scattering factors by cryo-electron microscopy
Shtyrov A +11 more
europepmc +1 more source
Properties of Bisdiazo Compounds and Their Derived Carbenes via Density Functional Theory. [PDF]
Liu X, Moloney MG.
europepmc +1 more source
Role of fascial plane blocks and elastosonography in the assessment of stiffness in chronic myofascial pain. [PDF]
Fusco P +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
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
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

