2757 search results - page 16 / 552 » On separating systems |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
CSL
2010
Springer
13 years 7 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
BIS
2008
13 years 9 months ago
2008
Abstract. Security issues have to be carefully considered for information systems that support the business processes of an organization, in particular, when these systems build on...