3172 search results - page 5 / 635 » Combining Specification Techniques for Processes, Data and T... |
MEMOCODE
2006
IEEE
14 years 2 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
INCDM
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Leveraging the power of increasing amounts of data to analyze customer base for attracting and retaining the most valuable customers is a major problem facing companies i...
DATE
1998
IEEE
14 years 20 days ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
DS
2001
13 years 9 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...