Sciweavers

794 search results - page 64 / 159
» Hardware Natural Language Interface
Sort
View
ERLANG
2003
ACM
15 years 9 months ago
Parameterized modules in Erlang
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
Richard Carlsson
HASKELL
2006
ACM
15 years 9 months ago
Strongly typed memory areas programming systems-level data structures in a functional language
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
Iavor S. Diatchki, Mark P. Jones
ENTCS
2010
113views more  ENTCS 2010»
15 years 3 months ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
Dan R. Ghica, Alex Smith
IPPS
2003
IEEE
15 years 9 months ago
Multi-Paradigm Framework for Parallel Image Processing
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
David J. Johnston, Martin Fleury, Andy C. Downton
TEI
2009
ACM
118views Hardware» more  TEI 2009»
15 years 10 months ago
Comics, robots, fashion and programming: outlining the concept of actDresses
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
Ylva Fernaeus, Mattias Jacobsson