12107 search results - page 2008 / 2422 » Software That Can Think |
177
Voted
ISSRE
2006
IEEE
16 years 24 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
167
click to vote
MEMOCODE
2006
IEEE
16 years 24 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
214
click to vote
RSP
2006
IEEE
16 years 24 days 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...
200
click to vote
RTAS
2006
IEEE
16 years 24 days ago
2006
IEEE
Multicore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power pr...
183
click to vote
SIPS
2006
IEEE
16 years 24 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...