10156 search results - page 172 / 2032 » Step by Step to Histories |
214
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Traditional FPGA design flows have treated logic synthesis and physical design as separate steps. With the recent advances in technology, the lack of information on the physical ...
184
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present sorting algorithms on the recently introduced N2 processor OTIS-Mesh, a network with diameter 4 p N , 3 consisting of N connected meshes of size p N p N...
188
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...
208
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
198
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...