19367 search results - page 344 / 3874 » Fine-Grain Process Modelling |
150
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
150
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
116
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—With the development of IC technology, it becomes urgent to investigate model reduction method for interconnects with process variations. In this paper, a one-shot projection al...
138
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
146
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...