4139 search results - page 413 / 828 » Designing and Implementing Combinator Languages |
190
click to vote
ICICS
2001
Springer
16 years 11 hour ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
245
click to vote
ALP
1992
Springer
15 years 11 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
200
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
193
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
206
click to vote
DARE
2000
15 years 9 months ago
2000
In this article we describe how the augmented reality and product design communities, which share the common interest of combining the real and the virtual, might learn from each ...