5630 search results - page 319 / 1126 » Computability in Specification |
182
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
196
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
219
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
213
click to vote
ICCTA
2007
IEEE
15 years 10 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
213
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...