Results 201 to 210 of about 47,337 (240)
, 2019 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
1904
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +2 more sources
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +2 more sources
Ultra Slim ESP - Extending ESP Application
SPE Middle East Artificial Lift Conference and ExhibitionAbstract Electrical Submersible Pump (ESP) application is challenged by wells with 4-1/2", 5", 5-1/2" casings and 7" liner/casings with Y-tools. The standard approach was limited to use of conventional 3.75" ESP system with Induction motor, only suitable for 5-1/2" and 7" casings without Y-tool.
Sergei Nesterov +5 more
openaire +1 more source
Science Activities: Classroom Projects and Curriculum Ideas, 1979
Stephen M. Guerin, Clark L. Guerin
openaire +1 more source
Stephen M. Guerin, Clark L. Guerin
openaire +1 more source