5630 search results - page 67 / 1126 » Computability in Specification |
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
DAC
1998
ACM
14 years 11 months ago
1998
ACM
FLAIRS
2004
13 years 11 months ago
2004
Robots that can adapt and perform multiple tasks promise to be a powerful tool with many applications. In order to achieve such robots, control systems have to be constructed that...
ENTCS
2008
13 years 10 months ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...
ERSA
2010
13 years 8 months ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...