10899 search results - page 679 / 2180 » The GP Programming System |
249
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
213
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
198
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
209
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
221
click to vote
EICS
2010
ACM
16 years 14 days ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...