478 search results - page 67 / 96 » Behavioral Specification of Real-Time Requirements |
DATE
1998
IEEE
13 years 12 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
ASPDAC
1995
ACM
13 years 11 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
LWA
2008
13 years 9 months ago
2008
Detecting bursts in data streams is an important and challenging task, especially in stock market, traffic control or sensor network streams. Burst detection means the identificat...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Users of Institutional Repositories and Digital Libraries are known by their needs for very specific information about one or more subjects. To characterize users profiles and offe...
JCIT
2008
13 years 7 months ago
2008
MINING biological data is an emerging area of intersection between data mining and bioinformatics. Bio-informaticians have been working on the research and development of computat...