3311 search results - page 266 / 663 » Deductive Object Programming |
98
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
103
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...
109
Voted
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
112
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
140
Voted
ECOOPW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...