7262 search results - page 410 / 1453 » Reversible Computer Hardware |
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
124
click to vote
ASYNC
2004
IEEE
15 years 8 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...
106
click to vote
ISCAS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents an analysis technique that can be used to compute the harmonic and intermodulation distortion levels of a sampled-data circuit directly from a SPICE transient ...
159
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...
149
click to vote
IJCAI
2001
15 years 5 months ago
2001
We provide technical details about the software and hardware architecture of SETA, a prototype toolkit for the creation of Web stores which personalize the interaction with custom...