Sciweavers

2632 search results - page 324 / 527
» Alternating Timed Automata
Sort
View
EMSOFT
2005
Springer
15 years 9 months ago
Optimizing inter-processor data locality on embedded chip multiprocessors
Recent research in embedded computing indicates that packing multiple processor cores on the same die is an effective way of utilizing the ever-increasing number of transistors. T...
Guilin Chen, Mahmut T. Kandemir
123
Voted
XPU
2005
Springer
15 years 9 months ago
Agile Methods for Embedded Systems
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
Dirk Wilking
126
Voted
ASAP
2003
IEEE
124views Hardware» more  ASAP 2003»
15 years 8 months ago
Arbitrary Bit Permutations in One or Two Cycles
Symmetric-key block ciphers encrypt data, providing data confidentiality over the public Internet. For inter-operability reasons, it is desirable to support a variety of symmetric...
Zhijie Shi, Xiao Yang, Ruby B. Lee
132
Voted
BMCBI
2007
110views more  BMCBI 2007»
15 years 3 months ago
Interpretation of multiple probe sets mapping to the same gene in Affymetrix GeneChips
Background: Affymetrix GeneChip technology enables the parallel observations of tens of thousands of genes. It is important that the probe set annotations are reliable so that bio...
Maria A. Stalteri, Andrew P. Harrison
JAIR
2010
77views more  JAIR 2010»
15 years 2 months ago
Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments
Because an agent’s resources dictate what actions it can possibly take, it should plan which resources it holds over time carefully, considering its inherent limitations (such a...
E. H. Durfee Wu, Edmund H. Durfee