837 search results - page 134 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...