1308 search results - page 141 / 262 » Let's Have a Conversation |
148
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
166
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes a methodology for synthesizing the data-path of a Very Long Instruction Word (VLIW) based Video Signal Processor (VSP). Offering both performance and programm...
133
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
160
click to vote
COMPGEOM
1996
ACM
15 years 10 months ago
1996
ACM
Given a simple arrangementof n pseudolines in the Euclidean plane, associate with line i the list i of the lines crossing i in the order of the crossings on line i. i = ( i 1; i 2;...
166
click to vote
STOC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we prove a perhaps unexpected relationship between the complexity class of the boolean functions that have linear size circuits, and n-party private protocols. Speci...