413 search results - page 57 / 83 » A formalism for functionality preserving system level transf... |
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
CAISE
2001
Springer
14 years 12 days ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
JMIV
1998
13 years 7 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Multi-core architectures are increasingly being adopted in the design of emerging complex embedded systems. Key issues of designing such systems are on-chip interconnects, memory a...