1321 search results - page 235 / 265 » Subtyping in Logical Form |
148
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we propose a new multi-objective multilevel K-way partitioning which is aware of resource utilization distribution, assuming the resource utilization for a partitio...
155
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
136
Voted
DEBS
2003
ACM
15 years 9 months ago
2003
ACM
Join algorithms must be re-designed when processing stream data instead of persistently stored data. Data streams are potentially infinite and the query result is expected to be ...
155
Voted
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
One of the most difficult and time-consuming steps in the creation of an FPGA is its transistor-level design and physical layout. Modern commercial FPGAs typically consume anywher...
135
click to vote
CICLING
2001
Springer
15 years 8 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...