1952 search results - page 224 / 391 » Complete partitions of graphs |
192
click to vote
TVLSI
2002
15 years 6 months ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
176
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
161
click to vote
CGO
2007
IEEE
16 years 28 days ago
2007
IEEE
Memory transfers are becoming more important to optimize, for both performance and power consumption. With this goal in mind, new register allocation schemes are developed, which ...
188
click to vote
ICDCS
2005
IEEE
16 years 5 days ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...
160
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...