2943 search results - page 86 / 589 » Software Implementation of Synchronous Programs |
128
click to vote
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
133
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...
NOSSDAV
1991
Springer
15 years 5 months ago
1991
Springer
One of the most important emerging developments for improving the user/computer interface has been the addition of multimedia facilities to high-performance workstations. Although...
116
click to vote
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
121
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...