2019 search results - page 126 / 404 » Programming with Shared Data Abstractions |
102
Voted
DCOSS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
110
click to vote
ERSHOV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
116
click to vote
FORTE
2008
15 years 4 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
151
Voted
ICPP
2009
IEEE
15 years 7 days ago
2009
IEEE
There are two popular parallel I/O programming styles used by modern scientific computational applications: unique-file and shared-file. Unique-file I/O usually gives satisfactory ...
107
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...