11374 search results - page 72 / 2275 » A System Demonstration of ST-TCP |
129
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
154
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a computationally efficient method for deriving coordinate representations for the equations of motion and the affine connection describing a class of Lagrangi...
149
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
129
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...
157
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a table-based behavioral modeling method and an efficient transient simulation method for oversampled MEMS systems. A system is represented by a set of coupl...