Sciweavers

1204 search results - page 217 / 241
» Parallel concurrent ML
Sort
View
IEICET
2006
114views more  IEICET 2006»
15 years 2 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
104
Voted
CORR
2007
Springer
107views Education» more  CORR 2007»
15 years 2 months ago
Asynchronous Distributed Searchlight Scheduling
Abstract— This paper develops and compares two asynchronous distributed scheduling algorithms for multiple controlled searchlights in nonconvex polygonal environments. A searchli...
Karl J. Obermeyer, Anurag Ganguli, Francesco Bullo
ISCA
2006
IEEE
123views Hardware» more  ISCA 2006»
15 years 2 months ago
A Gracefully Degrading and Energy-Efficient Modular Router Architecture for On-Chip Networks
Packet-based on-chip networks are increasingly being adopted in complex System-on-Chip (SoC) designs supporting numerous homogeneous and heterogeneous functional blocks. These Net...
Jongman Kim, Chrysostomos Nicopoulos, Dongkook Par...
129
Voted
ITSSA
2006
109views more  ITSSA 2006»
15 years 2 months ago
Gene Expression Analysis in Multi-Agent Environment
Abstract. This paper presents a multi-agent approach to gene expression analysis and illustrates the working steps using real dataset produced from a microarray experiment. The ana...
H. C. Lam, M. Vazquez, B. Juneja, Scott C. Fahrenk...
AC
1998
Springer
15 years 2 months ago
Coordination Models and Languages
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
George A. Papadopoulos, Farhad Arbab