4747 search results - page 404 / 950 » Shuffle Memory System |
196
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
166
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...
225
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
199
click to vote
AIA
2007
15 years 8 months ago
2007
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...
142
click to vote
WSC
2001
15 years 8 months ago
2001
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...