7124 search results - page 984 / 1425 » Programming Languages and Operating Systems |
166
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
By nature, ubiquitous computing applications are intimately intertwined with users' everyday life. This situation is challenging because it requires to make the development of...
189
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
233
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
134
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
130
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...