3311 search results - page 266 / 663 » Deductive Object Programming |
141
Voted
ASPLOS
2006
ACM
16 years 5 days 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...
144
click to vote
DCOSS
2010
Springer
15 years 11 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...
147
click to vote
ERSHOV
1999
Springer
15 years 10 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...
151
click to vote
POPL
1994
ACM
15 years 10 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...
188
click to vote
ECOOPW
2006
Springer
15 years 10 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...