Sciweavers

19367 search results - page 149 / 3874
» Fine-Grain Process Modelling
Sort
View
131
Voted
ISQED
2011
IEEE
309views Hardware» more  ISQED 2011»
14 years 6 months ago
Modeling and analyzing NBTI in the presence of Process Variation
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
Taniya Siddiqua, Sudhanva Gurumurthi, Mircea R. St...
WSC
2008
15 years 4 months ago
Multi-Agent Resource Allocation (MARA) for modeling construction processes
Multi-Agent Resource Allocation (MARA) is a field developing solutions to the problem of distributing a number of resources amongst multiple agents. This field has interdisciplina...
Yang Liu, Yasser Mohamed
110
Voted
ACSD
2005
IEEE
114views Hardware» more  ACSD 2005»
15 years 8 months ago
Controlling Speculative Design Processes Using Rich Component Models
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...
Werner Damm
122
Voted
ENTCS
2010
154views more  ENTCS 2010»
14 years 12 months ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
149
Voted
JSS
2010
120views more  JSS 2010»
14 years 9 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...