4139 search results - page 397 / 828 » Designing and Implementing Combinator Languages |
177
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
132
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—A cell-based all-digital PWCL is presented in this paper. To improve design effort as well as facilitate systemlevel integration, the new design can be developed in hardware des...
201
click to vote
AC
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
266
click to vote
AISC
2010
Springer
15 years 12 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
231
click to vote
CAISE
1995
Springer
15 years 11 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...