3130 search results - page 381 / 626 » Design Correctness of Digital Systems |
163
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
148
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
186
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
209
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Modern computer systems have been built around the assumption that persistent storage is accessed via a slow, block-based interface. However, new byte-addressable, persistent memo...