scispace - formally typeset
Search or ask a question
Topic

State (computer science)

About: State (computer science) is a research topic. Over the lifetime, 24436 publications have been published within this topic receiving 225733 citations.


Papers
More filters
Patent
Zohar Bogin1, David E. Freker1
02 Dec 1997
TL;DR: In this article, the authors propose an apparatus and method for dynamically placing portions of a memory in a reduced power consumption state based on the requests while one or more other rows of the plurality of rows are accessed.
Abstract: An apparatus and method for dynamically placing portions of a memory in a reduced power consumption state. Requests to access a memory that includes a plurality of rows of memory components are received. One or more of the plurality of rows of memory components are placed in a reduced power consumption state based on the requests while one or more other rows of the plurality of rows are accessed.

147 citations

Patent
19 Feb 2009
TL;DR: In this paper, a method for data storage in analog memory cells includes defining multiple programming states for storing data in the analogue memory cells, which correspond to respective, different levels of a physical quantity stored in the memory cells.
Abstract: A method for data storage in analog memory cells includes defining multiple programming states for storing data in the analog memory cells. The programming states represent respective combinations of more than one bit and correspond to respective, different levels of a physical quantity stored in the memory cells. The data is stored in the memory cells by applying to the memory cells programming pulses that cause the levels of the physical quantity stored in the memory cells to transition between the programming states, such that a given transition is caused by only a single programming pulse.

147 citations

Journal ArticleDOI
11 Jun 2007
TL;DR: Several remaining challenges in how to specify sequential programs in object-oriented languages such as Java and C# are described and approaches to their solution are described.
Abstract: The state of knowledge in how to specify sequential programs in object-oriented languages such as Java and C# and the state of the art in automated verification tools for such programs have made measurable progress in the last several years. This paper describes several remaining challenges and approaches to their solution.

147 citations

Patent
05 Nov 1997
TL;DR: In this article, a controller for one or more pieces of industrial equipment is configured to perform a series of control functions each organized into one-or more procedures for performing particular machine actions.
Abstract: A controller for one or more pieces of industrial equipment is configured to perform a series of control functions each organized into one or more procedures for performing particular machine actions. The progress of an action, or some parameter of the action-taking machine (which may or may not be associated with an action), is represented by one or more "states." A database associates entries corresponding to the items of an object (including the action(s) and the state(s)), and contains storage locations where the associated procedural instructions and/or data are to be found. The action can be independent of state information, or can instead be executed in a manner responsive to a sensed state. The controller may also include diagnostic capability, as well as accumulation and processing of performance data for subsequent analysis.

146 citations

Patent
Takashi Miyazawa1
11 Dec 2002
TL;DR: In this article, the tone of the light emission from the organic EL element was set by setting the first and second voltage programming transistors 251 and 252 to OFF and ON states, respectively, and voltage programming was carried out using a voltage signal Vout.
Abstract: Pixel circuit 210 includes a current programming circuit 240 and voltage programming transistors 251 and 252. In order to set the tone of the light emission from the organic EL element 220, the first and second voltage programming transistors 251 and 252 are set to the OFF and ON state, respectively, and voltage programming is carried out using a voltage signal Vout. Next, the states of the first and second voltage programming transistors 251 and 252 are switched, and current programming is carried out using a current signal Iout.

146 citations


Network Information
Related Topics (5)
Formal specification
18.3K papers, 370.6K citations
76% related
Model checking
16.9K papers, 451.6K citations
74% related
Software development
73.8K papers, 1.4M citations
73% related
Software construction
36.2K papers, 743.8K citations
72% related
Concurrency
13K papers, 347.1K citations
72% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20251
202426
202314,059
202232,515
2021467
2020690