9842 search results - page 759 / 1969 » Compositional timing analysis |
344
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
226
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Due to their characteristics and claimed advantages, several researchers have been investigating free and open-source projects. Different aspects are being studied: for instance, ...
193
click to vote
ISBI
2009
IEEE
16 years 2 months ago
2009
IEEE
The ultimate aim of many live-cell fluorescence microscopy imaging experiments is the quantitative analysis of the spatial structure and temporal behavior of intracellular object...
203
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
204
click to vote
IV
2009
IEEE
16 years 2 months ago
2009
IEEE
A lexical network is a very useful resource for natural language processing systems. However, building high quality lexical networks is a complex task. “Jeux de mots” is a web...