1407 search results - page 68 / 282 » Using Use Cases in Executable Z |
164
click to vote
RSP
2006
IEEE
15 years 10 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...
142
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
102
click to vote
IWPC
1999
IEEE
15 years 8 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
137
click to vote
ICCBR
2010
Springer
15 years 7 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
126
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...