Sciweavers

652 search results - page 37 / 131
» A simulation framework for service-oriented computing system...
Sort
View
DAC
2002
ACM
16 years 2 months ago
A framework for evaluating design tradeoffs in packet processing architectures
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
Lothar Thiele, Matthias Gries, Samarjit Chakrabort...
ICCS
2007
Springer
15 years 8 months ago
A Multiscale, Cell-Based Framework for Modeling Cancer Development
We use a systems approach to develop a predictive model that medical researchers can use to study and treat cancerous tumors. Our multiscale, cell-based model includes intracellula...
Yi Jiang
SAMOS
2005
Springer
15 years 7 months ago
A Case for Visualization-Integrated System-Level Design Space Exploration
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
Andy D. Pimentel
WSC
2001
15 years 3 months ago
Use of DaSSF in a scalable multiprocessor wireless simulation architecture
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...
Trefor J. Delve, Nathan Smith
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 14 days ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel