2498 search results - page 367 / 500 » Data Structures with Unpredictable Timing |
101
Voted
SPAA
1990
ACM
15 years 6 months ago
1990
ACM
We give the first efficient parallel algorithms for solving the arrangement problem. We give a deterministic algorithm for the CREW PRAM which runs in nearly optimal bounds of O(lo...
120
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
119
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
103
Voted
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
114
click to vote
VISUALIZATION
1995
IEEE
15 years 6 months ago
1995
IEEE
There are many applications that can benefit from the simultaneous display of multiple layers of data. The objective in these cases is to render the layered surfaces in a such way...