8917 search results - page 1707 / 1784 » Abstraction in Algorithm Animation |
132
click to vote
EUROSYS
2008
ACM
16 years 10 days ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
135
click to vote
ICCAD
2008
IEEE
16 years 4 days ago
2008
IEEE
Abstract— Power consumption has become a crucial problem in modern circuit design. Multiple Supply Voltage (MSV) design is introduced to provide higher flexibility in controllin...
134
click to vote
ICCAD
2006
IEEE
16 years 4 days ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
141
click to vote
ICCAD
2002
IEEE
16 years 4 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
124
click to vote
PEPM
2010
ACM
16 years 3 days ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...