1636 search results - page 188 / 328 » Type-Theoretic Functional Semantics |
127
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
130
click to vote
MMM
2006
Springer
15 years 10 months ago
2006
Springer
Providing a fully functional multimedia DBMS (MMDBMS) becomes an emergency with the recent development of distributed environments. In this paper, we address the impact of using w...
125
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
129
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
139
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...