1566 search results - page 79 / 314 » Saving Space in a Time Efficient Simulation Algorithm |
124
Voted
CCCG
2010
15 years 4 months ago
2010
We present a data structure for efficient axis-aligned orthogonal range search on a set of n lines in a bounded plane. The algorithm requires O(log n + k) time in the worst case t...
123
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Partial reconfiguration allows for mapping and executing several tasks on an FPGA during runtime. Multitasking on FPGAs raises a number of questions on the management of the reco...
195
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
142
Voted
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
The advances in the programmable hardware has lead to new architectures where the hardware can be dynamically adapted to the application to gain better performance. There are stil...
118
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...