9518 search results - page 1687 / 1904 » On Mobility of Software Processes |
158
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
172
click to vote
ISSRE
2006
IEEE
16 years 18 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...
160
click to vote
MEMOCODE
2006
IEEE
16 years 18 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...
204
click to vote
RSP
2006
IEEE
16 years 18 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...
176
click to vote
SIPS
2006
IEEE
16 years 17 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...