3379 search results - page 257 / 676 » Combinators for Interaction Nets |
179
click to vote
IFM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
168
click to vote
CHES
2003
Springer
15 years 12 months ago
2003
Springer
We introduce multi-channel attacks, i.e., side-channel attacks which utilize multiple side-channels such as power and EM simultaneously. We propose an adversarial model which combi...
148
click to vote
CICLING
2003
Springer
15 years 12 months ago
2003
Springer
We present an automatic method to disambiguate the senses of the near-synonyms in the entries of a dictionary of synonyms. We combine different indicators that take advantage of th...
182
click to vote
GLVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper develops new techniques for detecting both stuck-open faults and resistive open faults, which result in increased delays along some paths. The improved detection of CMO...
179
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
For the development and evaluation of CAD-tools for partitioning, floorplanning, placement, and routing of digital circuits, a huge amount of benchmark circuits with suitable cha...