5415 search results - page 908 / 1083 » The Implementation of Functional Programming Languages |
148
click to vote
ERLANG
2006
ACM
16 years 15 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
172
click to vote
LCTRTS
2005
Springer
16 years 14 hour ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
147
click to vote
SCOPES
2005
Springer
16 years 3 hour ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
174
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
152
click to vote
CF
2004
ACM
15 years 12 months ago
2004
ACM
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...