5630 search results - page 67 / 1126 » Computability in Specification |
95
Voted
DATE
2010
IEEE
15 years 2 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...
65
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
148
Voted
FLAIRS
2004
15 years 4 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...
102
Voted
ENTCS
2008
15 years 2 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...
131
Voted
ERSA
2010
15 years 19 days ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...