7766 search results - page 349 / 1554 » Testing Nondeterminate Systems |
206
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
169
click to vote
NAACL
2007
15 years 8 months ago
2007
This article describes a machine translation system based on an automatic post-editing strategy: initially translate the input text into the target-language using a rule-based MT ...
232
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
191
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
192
click to vote
CNSR
2005
IEEE
16 years 10 days ago
2005
IEEE
Web caching has been recognized as an effective scheme to alleviate the service bottleneck and reduce the network traffic, thereby minimizing the user access latency on the Intern...