2943 search results - page 159 / 589 » Software Implementation of Synchronous Programs |
118
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
137
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
139
click to vote
PDPTA
2000
15 years 4 months ago
2000
Developers of programs for distributed systems spend considerable time designing solutions to various complex decision-making problems. The work described in this paper applies th...
124
click to vote
TCAD
2008
15 years 2 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
115
click to vote
SOSP
1997
ACM
15 years 4 months ago
1997
ACM
Low-latency remote-write networks, such as DEC’s Memory Channel, provide the possibility of transparent, inexpensive, large-scale shared-memory parallel computing on clusters of...