5128 search results - page 359 / 1026 » When Abstraction Fails |
194
Voted
FUIN
2007
15 years 7 months ago
2007
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...
180
Voted
PAAPP
2006
15 years 7 months ago
2006
Abstract: In this paper, we present a new, easy to implement algorithm for detecting the termination of a parallel asynchronous computation on distributedmemory MIMD computers. We ...
185
Voted
SIAMCO
2008
15 years 7 months ago
2008
Abstract. When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specif...
200
click to vote
TCAD
2008
15 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
192
click to vote
TIT
2008
15 years 7 months ago
2008
Abstract--The sum capacity of the one-sided parallel Gaussian interference channel is shown to be a concave function of user powers. Exploiting the inherent structure of the proble...