974 search results - page 154 / 195 » Hardware Synthesis from Term Rewriting Systems |
129
Voted
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
According to the current profound development of multimedia and networking technologies, the way people communicate with, naturally, has evolved from a textoriented into a multime...
175
Voted
SAT
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
174
Voted
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...
155
Voted
SIGCOMM
2009
ACM
16 years 20 days ago
2009
ACM
This paper describes a new architecture which addresses Quality of Service (QoS) by creating unique flows for applications, services, or subnets. A flow is a dedicated and indep...
173
Voted
MM
2005
ACM
15 years 11 months ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...