855 search results - page 165 / 171 » A Software Synthesis Tool for Distributed Embedded System De... |
MSR
2006
ACM
14 years 1 months ago
2006
ACM
To improve software productivity, when constructing new software systems, developers often reuse existing class libraries or frameworks by invoking their APIs. Those APIs, however...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
VLDB
2001
ACM
13 years 12 months ago
2001
ACM
The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight, together with performance considerations. Energy-conscious design is...
CLOUD
2010
ACM
14 years 19 days ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....