4257 search results - page 527 / 852 » The Logical Modularity of Programs |
199
click to vote
SOCO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
150
click to vote
PPOPP
2005
ACM
16 years 11 days ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
168
click to vote
GPCE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
184
Voted
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
198
click to vote
ISPA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This article presents the C++ library vShark which reduces the intranode communication overhead of parallel programs on clusters of SMPs. The library is built on top of m...