1257 search results - page 121 / 252 » A Novel Sequencer Hardware for Application Specific Computin... |
162
click to vote
MASCOTS
2008
15 years 7 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
179
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
High mask and production costs for the newest CMOS silicon technologies increase the pressure to develop hardware platforms useable for different applications or variants of the s...
144
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
157
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
155
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...