3359 search results - page 387 / 672 » A Simplified Idea Algorithm |
108
Voted
TCS
2008
15 years 16 days ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
113
click to vote
CSCW
2002
ACM
15 years 13 days ago
2002
ACM
Bitmap-based collaborative graphics editing systems are a special class of real-time collaborative editing systems. Undo is an important and difficult problem in these systems. Ex...
123
click to vote
IJRR
2000
15 years 13 days ago
2000
In this paper, we study the problem of determining a mathematical description of the surface defined by the shape of a membrane based on an image of it and present an algorithm fo...
106
Voted
ENTCS
2002
15 years 13 days ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
79
Voted
TCAD
1998
15 years 8 days ago
1998
—This paper introduces a novel optimization paradigm for increasing the throughput of digital systems. The basic idea consists of transforming fixed-latency units into variable-...