1222 search results - page 74 / 245 » Verifying a File System Implementation |
142
click to vote
JSA
2002
15 years 2 months ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
185
Voted
E2EMON
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In our previous studies, we proposed ImTCP, an inline network measurement technique that can obtain available bandwidth information of the network path between sender a...
149
click to vote
VR
2008
IEEE
15 years 28 days ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
99
Voted
CF
2004
ACM
15 years 8 months ago
2004
ACM
We introduce MaRS, a reconfigurable, parallel computing engine with special emphasis on scalability, lending itself to the computation-/data-intensive multimedia data processing a...
117
Voted
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...