1662 search results - page 79 / 333 » Privately Finding Specifications |
120
Voted
ASYNC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
142
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
The general goal of data mining is to extract interesting correlated information from large collection of data. A key computationally-intensive subproblem of data mining involves ...
116
Voted
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
120
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
116
Voted
HCI
2001
15 years 5 months ago
2001
The great variety of users of the services available on the internet raised the problem of finding flexible forms of presentation and interaction, which depend on the specific user...