475 search results - page 59 / 95 » Formal Analysis of Processor Timing Models |
158
Voted
CCGRID
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
116
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
253
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
144
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
130
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...