2550 search results - page 271 / 510 » Architecture as Language |
184
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
139
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
175
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
167
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
155
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...