Sciweavers

15421 search results - page 367 / 3085

» Dependability

108

DT
2000

61views more DT 2000»

Dependable Computing and Online Testing in Adaptive and Configurable Systems

15 years 6 months ago

Dependable Computing and Online Testing in Adaptive and Configurable Systems

Download www-crc.stanford.edu

Nirmal R. Saxena, Santiago Fernández-Gomez,...

claim paper

Read More »

93

IJON
2000

50views more IJON 2000»

Task dependence of human theta: The case for multiple cognitive functions

15 years 6 months ago

Task dependence of human theta: The case for multiple cognitive functions

Download www.psych.ualberta.ca

Jeremy B. Caplan, Michael J. Kahana, Robert Sekule...

claim paper

Read More »

142

JFP
2000

75views more JFP 2000»

Do we need dependent types?

15 years 6 months ago

Do we need dependent types?

Download www.brics.dk

Daniel Fridlender, Mia Indrika

claim paper

Read More »

129

Voted

JSS
2000

50views more JSS 2000»

Data dependence analysis for array references

15 years 6 months ago

Data dependence analysis for array references

Download etd.lib.nsysu.edu.tw

Tsung-Chuan Huang, Cheng-Ming Yang

claim paper

Read More »

150

MOR
2000

67views more MOR 2000»

Superlinear Convergence of an Interior-Point Method Despite Dependent Constraints

15 years 6 months ago

Superlinear Convergence of an Interior-Point Method Despite Dependent Constraints

Download pages.cs.wisc.edu

We show that an interior-pointmethodfor monotonevariationalinequalitiesexhibits superlinear convergence provided that all the standard assumptions hold except for the well-known as...

Daniel Ralph, Stephen J. Wright

claim paper

Read More »

« Prev « First page 367 / 3085 Last » Next »