Search Sciweavers | Sciweavers

28888 search results - page 385 / 5778

» Computability and complexity in analysis

170

click to vote

SRDS
1997
IEEE

99views Operating System» more SRDS 1997»

Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints

15 years 11 months ago

Download www.cc.gatech.edu

Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...

Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal

claim paper

Read More »

143

click to vote

VLSID
2001
IEEE

98views VLSI» more VLSID 2001»

Complexity Of Minimum-Delay Gate Resizing

16 years 7 months ago

Download www.eecs.umich.edu

Supratik Chakraborty, Rajeev Murgai

claim paper

Read More »

136

click to vote

ICALP
2005
Springer

120views Programming Languages» more ICALP 2005»

The Complexity of Stochastic Rabin and Streett Games'

16 years 10 days ago

Download mtc.epfl.ch

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...

claim paper

Read More »

134

click to vote

MFCS
2004
Springer

89views Theoretical Computer Science» more MFCS 2004»

Polynomial Time Approximation Schemes and Parameterized Complexity

16 years 5 days ago

Download faculty.cs.tamu.edu

Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, Ge Xia

claim paper

Read More »

132

click to vote

ICTCS
2003
Springer

63views Theoretical Computer Science» more ICTCS 2003»

The Complexity of Checking Consistency of Pedigree Information and Related Problems

16 years 10 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers