358 search results - page 37 / 72 » Parallel Evaluation Strategies for Functional Logic Language... |
114
click to vote
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
JLP
2006
14 years 11 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
MIDDLEWARE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
PADL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
119
click to vote
KES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...