3775 search results - page 338 / 755 » The Expression Problem Revisited |
195
click to vote
SIGARCH
2008
15 years 6 months ago
2008
Multiprocessors-on-chip, such as the Cell BE processor, regularly suffer from restricted bandwidth to off-chip main memory. We propose to reduce memory bandwidth requirements, and...
154
click to vote
APPML
2005
15 years 6 months ago
2005
Two difficulties connected with the solution of Laplace's equation around an object inside an infinite circular cylinder are resolved. One difficulty is the nonconvergence of...
151
click to vote
TCS
2008
15 years 6 months ago
2008
Motif patterns consisting of sequences of intermixed solid and don't care characters have been introduced and studied in connection with pattern discovery problems of computa...
198
click to vote
DAM
2002
15 years 6 months ago
2002
We consider the stable marriage problem where participants are permitted to express indifference in their preference lists (i.e., each list can be partially ordered). We prove tha...
181
click to vote
COMCOM
1998
15 years 6 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...