Sciweavers

3146 search results - page 279 / 630
» The use of compiler optimizations for embedded systems softw...
Sort
View
CODES
2000
IEEE
15 years 11 months ago
Co-design of interleaved memory systems
Memory interleaving is a cost-efficient approach to increase bandwidth. Improving data access locality and reducing memory access conflicts are two important aspects to achieve hi...
Hua Lin, Wayne Wolf
RTCSA
2006
IEEE
16 years 18 days ago
A Software Infrastructure for Wearable Sensor Networks
In ubiquitous computing environments, contextawareness is one of the most important research topics. Computers embedded in our surrounding can extract information about a user, an...
Kensuke Hanaoka, Ayako Takagi, Tatsuo Nakajima
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 5 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
DATE
2010
IEEE
120views Hardware» more  DATE 2010»
15 years 11 months ago
Linear programming approach for performance-driven data aggregation in networks of embedded sensors
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...
Cristian Ferent, Varun Subramanian, Michael Gilber...
GECCO
2004
Springer
15 years 12 months ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...