2943 search results - page 235 / 589 » Software Implementation of Synchronous Programs |
142
click to vote
OOPSLA
1997
Springer
15 years 7 months ago
1997
Springer
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
110
click to vote
IPSN
2010
Springer
15 years 10 months ago
2010
Springer
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding throu...
103
Voted
ASPLOS
2006
ACM
15 years 9 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...
117
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
115
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...