4719 search results - page 174 / 944 » Spreadsheet functional programming |
103
Voted
ICFP
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
128
Voted
IPL
2008
15 years 2 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
138
Voted
SWAP
2008
15 years 4 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
106
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
142
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...