4719 search results - page 782 / 944 » Spreadsheet functional programming |
131
click to vote
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
114
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
109
click to vote
VL
2006
IEEE
15 years 9 months ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
112
click to vote
ACMDIS
2006
ACM
15 years 9 months ago
2006
ACM
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
127
click to vote
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...