366 search results - page 52 / 74 » Machine Function Based Control Code Algebras |
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
JSAC
2006
13 years 8 months ago
2006
Abstract--The current framework of network utility maximization for rate allocation and its price-based algorithms assumes that each link provides a fixed-size transmission "p...
GLVLSI
2007
IEEE
14 years 15 days ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
CLUSTER
2002
IEEE
13 years 8 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...