Sciweavers

19700 search results - page 91 / 3940
» DNA-Based Computation Times
Sort
View
COMPUTER
2000
49views more  COMPUTER 2000»
14 years 9 months ago
The Real-Time Specification for Java
Gregory Bollella, James Gosling
CORR
2010
Springer
94views Education» more  CORR 2010»
14 years 9 months ago
Dynamic Observers for Fault Diagnosis of Timed Systems
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
Franck Cassez
ENDM
2010
91views more  ENDM 2010»
14 years 7 months ago
Climbing discrepancy search for flowshop and jobshop scheduling with time lags
This paper addresses the jobshop and the flowshop scheduling problems with minimum and maximum time lags. To solve this kind of problems, we propose adaptations of Climbing Discre...
Wafa Karoui, Marie-José Huguet, Pierre Lope...
SIAMNUM
2010
113views more  SIAMNUM 2010»
14 years 4 months ago
Compactness Properties of the DG and CG Time Stepping Schemes for Parabolic Equations
Abstract. It is shown that for a broad class of equations that numerical solutions computed using the discontinuous Galerkin or the continuous Galerkin time stepping schemes of arb...
Noel Walkington
MOC
1998
73views more  MOC 1998»
14 years 9 months ago
Detecting perfect powers in essentially linear time
This paper (1) gives complete details of an algorithm to compute approximate kth roots; (2) uses this in an algorithm that, given an integer n > 1, either writes n as a perfect ...
Daniel J. Bernstein