4139 search results - page 263 / 828 » Designing and Implementing Combinator Languages |
136
click to vote
FDL
2008
IEEE
15 years 11 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
124
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
135
Voted
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
The present paper presents the structure of a cross-linguistic database of production data. The database contains annotated texts collected from a sample of fifteen different langu...
140
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
113
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Many factors such as size, power, and weight constrain the design of modular snake robots. Meeting these constraints requires implementing a complex mechanical and electrical a...