1604 search results - page 70 / 321 » Development Separation in Lambda-Calculus |
106
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
101
Voted
ICSE
2003
IEEE-ACM
16 years 25 days ago
2003
IEEE-ACM
The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the pr...
113
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
115
Voted
BMCBI
2008
15 years 26 days ago
2008
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
96
Voted
EUROSSC
2007
Springer
15 years 7 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...