5639 search results - page 303 / 1128 » Timed Abstract Non-interference |
118
Voted
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
95
Voted
NA
2006
15 years 3 months ago
2006
Abstract. The present article summarizes the state of the art algorithms to compute the discrete Moreau envelope, and presents a new linear-time algorithm, named NEP for NonExpansi...
138
Voted
CIB
2005
15 years 3 months ago
2005
Abstract-- Mining textual documents and time series concurrently, such as predicting the movements of stock prices based on the contents of the news stories, is an emerging topic i...
122
Voted
MOC
1998
15 years 3 months ago
1998
We approximate the solution of initial boundary value problems for nonlinear parabolic equations. In space we discretize by finite element methods. The discretization in time is b...
126
Voted
TCAD
2002
15 years 3 months ago
2002
Abstract--This paper presents a solution to the problem of performance-driven buffered routing tree generation for VLSI circuits. Using a novel bottom-up construction algorithm and...