2943 search results - page 392 / 589 » Software Implementation of Synchronous Programs |
105
Voted
ICSE
1995
IEEE-ACM
15 years 6 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...
149
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
88
Voted
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Emulab is a testbed for networked and distributed systems experimentation. Two guiding principles of its design are realism and control of experimentation. There is an inherent te...
136
Voted
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
96
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...