Sciweavers

2736 search results - page 270 / 548
» Understanding programmer language
Sort
View
ICLP
2003
Springer
15 years 11 months ago
Termination Analysis with Types Is More Accurate
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
Vitaly Lagoon, Frédéric Mesnard, Pet...
IPSN
2003
Springer
15 years 11 months ago
Beyond Average: Toward Sophisticated Sensing with Queries
High-level query languages are an attractive interface for sensor networks, potentially relieving application programmers from the burdens of distributed, embedded programming. In ...
Joseph M. Hellerstein, Wei Hong, Samuel Madden, Ky...
IV
2002
IEEE
135views Visualization» more  IV 2002»
15 years 11 months ago
Static Visualization of Dynamic Data Flow Visual Program Execution
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
Buntarou Shizuki, Etsuya Shibayama, Masashi Toyoda
IFL
2001
Springer
15 years 11 months ago
Sized Types for Typing Eden Skeletons
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
Ricardo Pena, Clara Segura
DFT
1999
IEEE
139views VLSI» more  DFT 1999»
15 years 11 months ago
Soft-Error Detection through Software Fault-Tolerance Techniques
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
Maurizio Rebaudengo, Matteo Sonza Reorda, Marco To...